Carnivore
type: Class
disjoint with: Marsupial
disjoint with: Elephant
disjoint with: Primate
subclass of: Restriction
  on property: HasWeight
  all values from: Kilograms
subclass of: Restriction
  on property: HasPoach
  has value: false
subclass of: NonFlying
disjoint with: Rodent

Marsupial
type: Class
disjoint with: Rodent
disjoint with: Primate
subclass of: Restriction
  on property: HasPoach
  has value: true
subclass of: Restriction
  all values from: Kilograms
  on property: HasWeight
subclass of: NonFlying
disjoint with: Elephant
disjoint with: Carnivore

Elephant
type: Class
subclass of: Restriction
  all values from: Hair
  on property: HasBodyCover
disjoint with: Marsupial
subclass of: Restriction
  all values from: Class
    union of: Stem
    union of: Leave
    union of: Root
    union of: Fruit
  on property: Eat
subclass of: Restriction
  all values from: Kilograms
  on property: HasWeight
subclass of: NonFlying
disjoint with: Rodent
subclass of: Restriction
  on property: HaveTeeth
  some values from: Tusk
subclass of: Restriction
  on property: HasNose
  all values from: LongMascularNose
disjoint with: Primate
subclass of: Restriction
  all values from: Class
    union of: Land
    union of: Forest
  on property: HasHabitat
subclass of: Restriction
  all values from: WeakEyes
  on property: HasEyes
disjoint with: Carnivore
subclass of: Restriction
  has value: false
  on property: HasPoach

Primate
type: Class
subclass of: Restriction
  all values from: Grams
  on property: HasWeight
disjoint with: Rodent
disjoint with: Carnivore
subclass of: Restriction
  has value: true
  on property: IsIntelligent
disjoint with: Marsupial
disjoint with: Elephant
subclass of: Restriction
  has value: false
  on property: HasPoach
subclass of: NonFlying

Rodent
type: Class
disjoint with: Carnivore
disjoint with: Marsupial
disjoint with: Elephant
subclass of: Restriction
  on property: HasPoach
  has value: false
disjoint with: Primate
subclass of: Restriction
  on property: HaveTeeth
  some values from: GrowingIncisor
subclass of: NonFlying
subclass of: Restriction
  all values from: Grams
  on property: HasWeight

Wolf
type: Class
subclass of: Restriction
  has value: false
  on property: CanBark
subclass of: Canoidae
subclass of: Restriction
  on property: Eat
  all values from: Meat
disjoint with: Fox
subclass of: Restriction
  on property: HasBodyCover
  all values from: Hair
subclass of: Restriction
  on property: IsEndangered
  has value: false
subclass of: Restriction
  all values from: Class
    union of: Continents
    union of: Poles
  on property: HasLocation

Fox
type: Class
subclass of: Canoidae
disjoint with: Dog
subclass of: Restriction
  all values from: Class
    union of: Continents
    union of: Poles
  on property: HasLocation
subclass of: Restriction
  has value: true
  on property: IsEndangered
subclass of: Restriction
  on property: HasBodyCover
  all values from: Class
    union of: Fur
    union of: Hair
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Rodent
    union of: Lizard
    union of: Bird
    union of: Egg
    union of: Invertebrate
subclass of: Restriction
  on property: CanBark
  has value: false
disjoint with: Wolf

Anura
type: Class
subclass of: Restriction
  cardinality: 0
  on property: HasTail
subclass of: Restriction
  cardinality: 4
  on property: HasLimbs
subclass of: Class
  intersection of: Restriction
    all values from: Jumping
    on property: CanMove
  intersection of: Restriction
    on property: HasEyes
    all values from: FunctionalEyes
disjoint with: Salamender
disjoint with: Apoda
subclass of: Amphibian

Salamender
type: Class
subclass of: Restriction
  on property: HasTail
  cardinality: 1
subclass of: Restriction
  on property: HasHabitat
  some values from: Forest
subclass of: Class
  intersection of: Restriction
    on property: HasEyes
    all values from: FunctionalEyes
  intersection of: Restriction
    on property: CanMove
    all values from: Class
      union of: Walking
      union of: Swimming
subclass of: Class
  intersection of: Restriction
    some values from: CentiMeters
    on property: HasLength
  intersection of: Restriction
    min cardinality: 8
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    max cardinality: 15
subclass of: Amphibian
disjoint with: Anura
subclass of: Restriction
  on property: HasLimbs
  cardinality: 4
disjoint with: Apoda

Apoda
type: Class
subclass of: Class
  intersection of: Restriction
    some values from: CentiMeters
    on property: HasLength
  intersection of: Restriction
    max cardinality: 140
    on property: HasLength
  intersection of: Restriction
    min cardinality: 18
    on property: HasLength
disjoint with: Salamender
subclass of: Amphibian
disjoint with: Anura
subclass of: Restriction
  on property: HasLimbs
  cardinality: 0
subclass of: Restriction
  on property: HasEyes
  all values from: FunctionalEyes

Amphibian
type: Class
subclass of: Restriction
  on property: HasLength
  all values from: Class
    union of: CentiMeters
    union of: MicroMeters
disjoint with: Reptile
disjoint with: Fish
subclass of: Restriction
  on property: BreathBy
  all values from: Class
    union of: Skin
    union of: Lungs
subclass of: Coldblooded
subclass of: Restriction
  some values from: Invertebrate
  on property: Eat
subclass of: Class
  intersection of: Restriction
    on property: HasHeartchamber
    cardinality: 3
  intersection of: Restriction
    all values from: InternalEars
    on property: HasEars
  intersection of: Restriction
    all values from: Skin
    on property: HasBodyCover
  intersection of: Restriction
    all values from: External
    on property: Reproduced
  intersection of: Restriction
    on property: HasHabitat
    all values from: Class
      union of: Aquatic
      union of: Land
  intersection of: Restriction
    on property: HasBodypart
    some values from: Jaw
  intersection of: Restriction
    all values from: Class
      complement of: Claws
    on property: HasBodypart

Echidanas
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 35
  intersection of: Restriction
    on property: HasLength
    max cardinality: 53
disjoint with: Platypus
subclass of: Restriction
  all values from: Class
    union of: Cliff
    union of: Land
  on property: HasHabitat
subclass of: Restriction
  all values from: Invertebrate
  on property: Eat
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Australia
    union of: NewGuinea
subclass of: Restriction
  on property: CanMove
  all values from: Swimming
subclass of: EggLaying
subclass of: Restriction
  all values from: Quill
  on property: HasBodyCover
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 5
  intersection of: Restriction
    max cardinality: 7
    on property: HasWeight

Platypus
type: Class
subclass of: EggLaying
subclass of: Restriction
  all values from: RiverSide
  on property: HasHabitat
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 30
  intersection of: Restriction
    on property: HasLength
    max cardinality: 45
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Tasmania
    union of: Australia
disjoint with: Echidanas
subclass of: Restriction
  all values from: Fur
  on property: HasBodyCover
subclass of: Restriction
  all values from: Class
    union of: Shellfish
    union of: Invertebrate
  on property: Eat
subclass of: Restriction
  all values from: Class
    union of: Diving
    union of: Swimming
  on property: CanMove

Invertebrate
type: Class
disjoint with: Vertebrate
comment: Animals without backbone
equivalent class: Class
  intersection of: Animals
  intersection of: Restriction
    on property: HasBackBone
    cardinality: 0

EggLaying
type: Class
subclass of: Restriction
  on property: HasWeight
  all values from: Kilograms
subclass of: Restriction
  on property: IsEggLaying
  has value: true
subclass of: Mammal
subclass of: Restriction
  on property: HasLength
  all values from: CentiMeters

Bony
type: Class
subclass of: Fish
subclass of: Class
  intersection of: Restriction
    on property: HasBodypart
    some values from: Scale
  intersection of: Restriction
    some values from: Jaw
    on property: HasBodypart
  intersection of: Restriction
    on property: Reproduced
    some values from: External
subclass of: Restriction
  all values from: BonySkeleton
  on property: HasSkeleton
subclass of: Restriction
  all values from: Class
    union of: Lungs
    union of: SwimBladder
  on property: BreathBy
disjoint with: Jawless
disjoint with: Cartilaginous
subclass of: Class
  intersection of: Restriction
    some values from: Years
    on property: CanLive
  intersection of: Restriction
    on property: CanLive
    max cardinality: 12

Fish
type: Class
subclass of: Restriction
  on property: EatenBy
  some values from: Human
subclass of: Restriction
  on property: HasLimbs
  cardinality: 0
subclass of: Restriction
  on property: HasHeartchamber
  cardinality: 2
disjoint with: Amphibian
subclass of: Coldblooded
subclass of: Restriction
  some values from: Fish
  on property: Eat
subclass of: Restriction
  all values from: Years
  on property: CanLive
subclass of: Class
  intersection of: Restriction
    some values from: CentiMeters
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    min cardinality: 1
  intersection of: Restriction
    max cardinality: 1500
    on property: HasLength
disjoint with: Reptile
subclass of: Class
  intersection of: Restriction
    on property: CanMove
    all values from: Swimming
  intersection of: Restriction
    on property: HasHabitat
    all values from: Aquatic
subclass of: Class
  intersection of: Coldblooded
  intersection of: Restriction
    on property: HasBodypart
    some values from: Fins
  intersection of: Restriction
    some values from: Teeth
    on property: HasBodypart

Monkey
type: Class
subclass of: Restriction
  all values from: Class
    union of: Climbing
    union of: Jumping
    union of: Running
  on property: CanMove
disjoint with: Ape
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Leave
    union of: Fruit
    union of: Egg
    union of: Flower
    union of: Invertebrate
subclass of: Anthropoid
subclass of: Restriction
  on property: HasHabitat
  all values from: Class
    union of: OnTree
    union of: Land
disjoint with: Human
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 30
  intersection of: Restriction
    on property: HasLength
    max cardinality: 180
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: SouthAmerica
    union of: CentralAmerica
    union of: SouthAsia
    union of: Africa
subclass of: Class
  intersection of: Restriction
    min cardinality: 151
    on property: HasWeight
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 10000

Ape
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 44
  intersection of: Restriction
    on property: HasLength
    max cardinality: 180
subclass of: Restriction
  all values from: Class
    union of: OnTree
    union of: Land
  on property: HasHabitat
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 4500
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 250000
subclass of: Anthropoid
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: AfricaForests
    union of: AsiaTropicalWoodLands
subclass of: Restriction
  on property: Eat
  all values from: Plant
subclass of: Restriction
  all values from: Class
    union of: Jumping
    union of: Running
    union of: Climbing
  on property: CanMove
disjoint with: Human
disjoint with: Monkey

Human
type: Class
subclass of: Restriction
  all values from: Class
    union of: Continents
    union of: Poles
  on property: HasLocation
subclass of: Restriction
  on property: HasHabitat
  all values from: Land
subclass of: Class
  intersection of: Restriction
    min cardinality: 42000
    on property: HasWeight
  intersection of: Restriction
    max cardinality: 170000
    on property: HasWeight
disjoint with: Monkey
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 150
  intersection of: Restriction
    max cardinality: 210
    on property: HasLength
subclass of: Anthropoid
disjoint with: Ape
subclass of: Restriction
  all values from: Class
    union of: Crawling
    union of: Jumping
    union of: Running
    union of: Walking
  on property: CanMove

Frog
type: Class
subclass of: Restriction
  on property: HasBodypart
  some values from: Teeth
disjoint with: Toad
subclass of: Restriction
  on property: HasLifecycle
  has value: 2
subclass of: Restriction
  all values from: SharpEyes
  on property: HasEyes
subclass of: Class
  intersection of: Restriction
    on property: CanLive
    all values from: Years
  intersection of: Restriction
    on property: CanLive
    min cardinality: 1
  intersection of: Restriction
    on property: CanLive
    max cardinality: 35
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    some values from: CentiMeters
  intersection of: Restriction
    max cardinality: 30
    on property: HasLength
subclass of: Anura
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    some values from: MicroMeters
  intersection of: Restriction
    min cardinality: 8
    on property: HasLength
subclass of: Class
  intersection of: Restriction
    all values from: Grams
    on property: HasWeight
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 30
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 3000
subclass of: Restriction
  on property: HasBodyCover
  all values from: Class
    intersection of: SmoothSkin
    intersection of: Restriction
      on property: IsColored
      has value: true

Toad
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    some values from: CentiMeters
  intersection of: Restriction
    on property: HasLength
    max cardinality: 20
subclass of: Anura
disjoint with: Frog
subclass of: Class
  intersection of: Restriction
    on property: HasBodypart
    some values from: Class
      complement of: Teeth
  intersection of: Restriction
    some values from: RoughSkin
    on property: HasBodypart

Habitats
type: Class
comment: Living environment

Mammal
type: Class
subclass of: Warmblooded
subclass of: Restriction
  cardinality: 4
  on property: HasHeartchamber
disjoint with: Bird
subclass of: Class
  intersection of: Restriction
    all values from: Class
      union of: Fur
      union of: Hair
      union of: Quill
    on property: HasBodyCover
  intersection of: Restriction
    all values from: WithThreeEarBones
    on property: HasEars

Warmblooded
type: Class
subclass of: Class
  intersection of: Vertebrate
  intersection of: Restriction
    on property: HasTemperature
    all values from: Regulated
disjoint with: Coldblooded
subclass of: Restriction
  cardinality: 4
  on property: HasHeartchamber
comment: Body temperature is regulated
subclass of: Restriction
  on property: Reproduced
  all values from: Internal
subclass of: Vertebrate

Bird
type: Class
subclass of: Restriction
  all values from: Class
    union of: Fur
    union of: Feather
  on property: HasBodyCover
disjoint with: Mammal
subclass of: Restriction
  on property: IsEggLaying
  has value: true
subclass of: Restriction
  some values from: Beak
  on property: HasBodypart
subclass of: Restriction
  all values from: Grams
  on property: HasWeight
subclass of: Restriction
  cardinality: 0
  on property: HaveTeeth
subclass of: Class
  complement of: Restriction
    on property: HasBodypart
    some values from: Teeth
subclass of: Restriction
  on property: HasLength
  all values from: CentiMeters
equivalent class: Class
  intersection of: Restriction
    on property: HasBodypart
    some values from: Wing
  intersection of: Restriction
    on property: HasBodypart
    some values from: Beak
  intersection of: Warmblooded

Lemur
type: Class
subclass of: Restriction
  all values from: Class
    union of: Jumping
    union of: Running
    union of: Climbing
  on property: CanMove
subclass of: Restriction
  on property: HasLocation
  all values from: Madagascar
subclass of: Class
  intersection of: Restriction
    min cardinality: 30
    on property: HasWeight
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 10000
subclass of: Primate
subclass of: Restriction
  all values from: Class
    union of: OnTree
    union of: Land
  on property: HasHabitat
subclass of: Class
  intersection of: Restriction
    min cardinality: 25
    on property: HasLength
  intersection of: Restriction
    max cardinality: 75
    on property: HasLength
subclass of: Restriction
  on property: HasBodyCover
  all values from: Fur
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Flower
    union of: Leave
    union of: Fruit

Bear
type: Class
subclass of: Restriction
  all values from: Class
    union of: Fish
    union of: Lichen
    union of: Root
    union of: Nut
    union of: Burries
  on property: Eat
disjoint with: Feloidae
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Continents
    union of: Poles
subclass of: Fissipedae
subclass of: Restriction
  all values from: Class
    union of: Swimming
    union of: Crawling
    union of: Gallumphing
  on property: CanMove
subclass of: Restriction
  on property: HasNose
  all values from: SensitiveNose
subclass of: Restriction
  on property: HasHabitat
  all values from: Class
    union of: Forest
    union of: SnowField
    union of: Land
    union of: Cliff
    union of: Coast
    union of: Cave
subclass of: Restriction
  on property: HasEars
  all values from: SensitiveEars
subclass of: Restriction
  on property: HasTail
  all values from: ShortTail
subclass of: Restriction
  on property: HasClaws
  cardinality: 5
subclass of: Restriction
  on property: HasBodyCover
  all values from: ShaggyFur
subclass of: Restriction
  has value: true
  on property: HasHibernation
subclass of: Restriction
  all values from: Unretractable
  on property: HasClaws
disjoint with: Canoidae

Cat
type: Class
subclass of: Restriction
  has value: false
  on property: IsEndangered
subclass of: Restriction
  has value: true
  on property: IsDomestic
subclass of: Restriction
  all values from: Class
    union of: Land
    union of: Forest
  on property: HasHabitat
subclass of: Class
  union of: Restriction
    on property: HasWeight
    min cardinality: 5
  union of: Restriction
    max cardinality: 7
    on property: HasWeight
disjoint with: Lion
disjoint with: Tiger
subclass of: Feloidae
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Rodent
    union of: Bird
    union of: Fish
subclass of: Restriction
  all values from: Continents
  on property: HasLocation

Lion
type: Class
subclass of: Class
  intersection of: Restriction
    min cardinality: 150
    on property: HasWeight
  intersection of: Restriction
    max cardinality: 210
    on property: HasWeight
disjoint with: Cat
subclass of: Restriction
  has value: false
  on property: IsEndangered
disjoint with: Tiger
subclass of: Restriction
  all values from: Class
    union of: GrassLand
    union of: Desert
  on property: HasHabitat
subclass of: Feloidae
subclass of: Restriction
  all values from: Class
    union of: India
    union of: Africa
  on property: HasLocation
subclass of: Restriction
  on property: IsDomestic
  has value: false
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 250
  intersection of: Restriction
    max cardinality: 290
    on property: HasLength
subclass of: Restriction
  all values from: Animals
  on property: Eat

Tiger
type: Class
subclass of: Restriction
  all values from: Class
    union of: Mountain
    union of: Forest
  on property: HasHabitat
subclass of: Restriction
  max cardinality: 290
  on property: HasWeight
subclass of: Restriction
  has value: true
  on property: IsEndangered
disjoint with: Cat
subclass of: Restriction
  all values from: Animals
  on property: Eat
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 200
  intersection of: Restriction
    max cardinality: 300
    on property: HasLength
subclass of: Feloidae
subclass of: Restriction
  on property: IsDomestic
  has value: false
disjoint with: Lion
subclass of: Restriction
  all values from: Class
    union of: China
    union of: NorthKorea
    union of: Russia
    union of: Indochina
    union of: India
    union of: Bangladesh
    union of: Nepal
    union of: Myanmar
  on property: HasLocation

Vertebrate
type: Class
comment: Aniamls with a backbone
subclass of: Restriction
  on property: IsSymmetric
  has value: true
equivalent class: Class
  intersection of: Animals
  intersection of: Restriction
    cardinality: 1
    on property: HasBackBone
subclass of: Restriction
  min cardinality: 2
  on property: HasHeartchamber
disjoint with: Invertebrate

Coldblooded
type: Class
disjoint with: Warmblooded
subclass of: Class
  intersection of: Vertebrate
  intersection of: Restriction
    all values from: Nonregulated
    on property: HasTemperature
comment: Body temperature is not regulated
subclass of: Vertebrate

Animals
type: Class
comment: Living things which can go around and need food and air

Crocodilae
type: Class
subclass of: Restriction
  all values from: Class
    union of: Africa
    union of: Asia
    union of: America
    union of: Oceania
  on property: HasLocation
subclass of: Class
  intersection of: Restriction
    max cardinality: 700
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    min cardinality: 180
subclass of: Restriction
  max cardinality: 110
  on property: HasWeight
subclass of: Restriction
  all values from: Aquatic
  on property: HasHabitat
subclass of: Restriction
  all values from: Class
    union of: Rodent
    union of: Fish
    union of: Human
  on property: Eat
disjoint with: Lepidosaurae
disjoint with: Turtle
subclass of: Reptile

Reptile
type: Class
subclass of: Restriction
  on property: HasLength
  all values from: CentiMeters
subclass of: Restriction
  on property: HasBodyCover
  all values from: Scale
subclass of: Restriction
  on property: Reproduced
  all values from: Internal
subclass of: Restriction
  on property: CanMove
  all values from: Crawling
equivalent class: Class
  intersection of: Restriction
    cardinality: 4
    on property: HasHeartchamber
  intersection of: Coldblooded
disjoint with: Fish
subclass of: Restriction
  all values from: Kilograms
  on property: HasWeight
disjoint with: Amphibian

Dog
type: Class
subclass of: Restriction
  all values from: Hair
  on property: HasBodyCover
subclass of: Restriction
  all values from: Class
    union of: Continents
    union of: Poles
  on property: HasLocation
disjoint with: Fox
subclass of: Restriction
  on property: IsEndangered
  has value: false
subclass of: Restriction
  all values from: Class
    union of: Bone
    union of: Meat
  on property: Eat
subclass of: Restriction
  has value: true
  on property: CanBark
subclass of: Canoidae

CommonBat
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 2
  intersection of: Restriction
    max cardinality: 1300
    on property: HasWeight
subclass of: Restriction
  on property: CanMove
  all values from: Fly
subclass of: Class
  intersection of: Restriction
    min cardinality: 3
    on property: HasLength
  intersection of: Restriction
    max cardinality: 41
    on property: HasLength
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Fruit
    union of: Leave
    union of: Flower
    union of: Invertebrate
    union of: Rodent
    union of: Fish
    union of: Frog
    union of: Lizard
subclass of: Chiroptera
subclass of: Restriction
  on property: HasLocation
  all values from: Continents
disjoint with: VampireBat

Lizard
type: Class
subclass of: Restriction
  all values from: Class
    union of: OnTree
    union of: Cliff
  on property: HasHabitat
subclass of: Restriction
  all values from: ExternalEars
  on property: HasEars
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    max cardinality: 300
  intersection of: Restriction
    min cardinality: 3
    on property: HasLength
subclass of: Restriction
  max cardinality: 165
  on property: HasWeight
disjoint with: Snake
subclass of: Lepidosaurae

Chiroptera
type: Class
disjoint with: FlyingLemur
subclass of: Restriction
  on property: HasBodyCover
  all values from: Fur
subclass of: Flying
subclass of: Restriction
  on property: HasBodypart
  some values from: Wing
subclass of: Restriction
  on property: HasHabitat
  all values from: Class
    union of: Mine
    union of: OldBuilding
    union of: Cave
    union of: OnTree
subclass of: Restriction
  has value: true
  on property: HasRadar

VampireBat
type: Class
disjoint with: CommonBat
subclass of: Chiroptera
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 7
  intersection of: Restriction
    on property: HasLength
    max cardinality: 10
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 19
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 45
subclass of: Restriction
  all values from: Class
    union of: CentralAmerica
    union of: SouthAmerica
  on property: HasLocation
subclass of: Restriction
  all values from: Blood
  on property: Eat
subclass of: Restriction
  on property: CanMove
  all values from: Class
    union of: ScuttleOverGround
    union of: Fly

Snake
type: Class
subclass of: Lepidosaurae
subclass of: Restriction
  on property: HasHabitat
  all values from: Class
    union of: Land
    union of: Aquatic
subclass of: Restriction
  all values from: Invertebrate
  on property: Eat
subclass of: Restriction
  on property: HasEyes
  some values from: CoveredEyes
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    max cardinality: 1000
  intersection of: Restriction
    min cardinality: 13
    on property: HasLength
subclass of: Restriction
  max cardinality: 250
  on property: HasWeight
subclass of: Class
  complement of: Restriction
    on property: HasBodypart
    some values from: Limbs
subclass of: Class
  complement of: Restriction
    some values from: ExternalEars
    on property: HasBodypart
disjoint with: Lizard
subclass of: Restriction
  on property: Eat
  all values from: Class
    intersection of: Egg
    intersection of: Bird
    intersection of: Rodent
    intersection of: Fish
    intersection of: Amphibian

Mouse
type: Class
subclass of: Rodent
subclass of: Restriction
  all values from: Land
  on property: HasHabitat
disjoint with: Porcupine
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 25
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 31
disjoint with: Squirrel
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 12
  intersection of: Restriction
    max cardinality: 18
    on property: HasLength
subclass of: Restriction
  all values from: Continents
  on property: HasLocation
subclass of: Restriction
  all values from: Class
    union of: Vegetable
    union of: Invertebrate
  on property: Eat
subclass of: Restriction
  all values from: Fur
  on property: HasBodyCover
subclass of: Restriction
  on property: CanMove
  all values from: Class
    union of: Jumping
    union of: Running
    union of: Climbing

Porcupine
type: Class
subclass of: Restriction
  all values from: Continents
  on property: HasLocation
subclass of: Restriction
  on property: CanMove
  all values from: Class
    complement of: Climbing
subclass of: Restriction
  all values from: Class
    union of: Leave
    union of: Invertebrate
  on property: Eat
disjoint with: Mouse
subclass of: Rodent
subclass of: Restriction
  all values from: Class
    union of: Cliff
    union of: Log
  on property: HasHabitat
disjoint with: Squirrel
subclass of: Restriction
  max cardinality: 50
  on property: HasLength
subclass of: Class
  intersection of: Restriction
    on property: HasBodyCover
    some values from: Fur
  intersection of: Restriction
    on property: HasBodyCover
    some values from: Quill

Squirrel
type: Class
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    intersection of: Continents
    intersection of: Class
      complement of: Madagascar
    intersection of: Class
      complement of: Australia
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 450
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 700
subclass of: Restriction
  on property: HasBodyCover
  all values from: Fur
subclass of: Restriction
  on property: HasHabitat
  all values from: OnTree
subclass of: Restriction
  on property: HasLength
  max cardinality: 51
subclass of: Restriction
  on property: CanMove
  all values from: Class
    union of: Jumping
    union of: Running
    union of: Climbing
subclass of: Rodent
disjoint with: Porcupine
disjoint with: Mouse
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Nut
    union of: Fruit
    union of: Invertebrate

Koala
type: Class
subclass of: Restriction
  on property: Eat
  all values from: Leave
subclass of: Class
  intersection of: Restriction
    min cardinality: 60
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    max cardinality: 75
subclass of: Restriction
  on property: HaveTeeth
  all values from: Class
    complement of: GrowingIncisor
subclass of: Restriction
  all values from: Class
    union of: Australia
    union of: Madagascar
  on property: HasLocation
disjoint with: Wombat
subclass of: PoachInBack

Wombat
type: Class
subclass of: Class
  intersection of: Restriction
    min cardinality: 86
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    max cardinality: 96
subclass of: PoachInBack
subclass of: Restriction
  some values from: GrowingIncisor
  on property: HaveTeeth
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Tasmania
    union of: Australia
subclass of: Restriction
  all values from: Class
    complement of: Tail
  on property: HasTail
disjoint with: Koala
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Root
    union of: Grass
    union of: Bark
subclass of: Restriction
  on property: HasLimbs
  all values from: ShortLimbs

Falconiform
type: Class
subclass of: Restriction
  on property: HasLength
  max cardinality: 228
disjoint with: Penguin
disjoint with: Pigeon
subclass of: Restriction
  all values from: Fly
  on property: CanMove
subclass of: Restriction
  max cardinality: 6300
  on property: HasWeight
disjoint with: Parrot
equivalent class: Class
  intersection of: Restriction
    on property: HasBeak
    some values from: HookedUpperBeak
  intersection of: Restriction
    some values from: SharpEyes
    on property: HasEyes
  intersection of: Bird
  intersection of: Restriction
    on property: HasLocation
    all values from: Continents

Penguin
type: Class
subclass of: Restriction
  on property: HasHabitat
  all values from: Coast
subclass of: Restriction
  on property: HasLength
  max cardinality: 122
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Oceania
    union of: SouthPole
subclass of: Restriction
  on property: Eat
  all values from: Fish
subclass of: Restriction
  on property: HasLimbs
  all values from: WebbedLeg
disjoint with: Falconiform
disjoint with: Parrot
equivalent class: Class
  intersection of: Restriction
    on property: CanMove
    all values from: Class
      complement of: Fly
  intersection of: Bird
subclass of: Restriction
  on property: CanMove
  all values from: Class
    union of: Diving
    union of: Walking
    union of: Swimming
disjoint with: Pigeon

Pigeon
type: Class
disjoint with: Falconiform
disjoint with: Parrot
subclass of: Bird
subclass of: Restriction
  on property: CanMove
  all values from: Fly
subclass of: Restriction
  all values from: Continents
  on property: HasLocation
disjoint with: Penguin
subclass of: Restriction
  has value: true
  on property: IsMessenger
subclass of: Restriction
  on property: CanSuckWaterSteadily
  has value: true
subclass of: Restriction
  max cardinality: 84
  on property: HasLength
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Seed
    union of: Fruit
subclass of: Restriction
  all values from: Land
  on property: HasHabitat

Parrot
type: Class
subclass of: Restriction
  all values from: Fly
  on property: CanMove
subclass of: Restriction
  all values from: Continents
  on property: HasLocation
subclass of: Restriction
  all values from: OnTree
  on property: HasHabitat
disjoint with: Penguin
subclass of: Restriction
  all values from: Class
    union of: Fruit
    union of: Seed
  on property: Eat
subclass of: Bird
subclass of: Restriction
  on property: CanImmitateSound
  has value: true
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 8
  intersection of: Restriction
    max cardinality: 100
    on property: HasLength
disjoint with: Pigeon
disjoint with: Falconiform

BabyBirth
type: Class
subclass of: Mammal
subclass of: Restriction
  on property: IsEggLaying
  has value: false

Hawk
type: Class
subclass of: Restriction
  has value: true
  on property: Nesting
subclass of: Restriction
  on property: HasBodypart
  some values from: ShortRound
subclass of: Restriction
  on property: HasHabitat
  all values from: OnTree
subclass of: Restriction
  all values from: Class
    union of: Rodent
    union of: Parrot
    union of: Pigeon
  on property: Eat
subclass of: Falconiform
disjoint with: Eagle
disjoint with: Falcon

Eagle
type: Class
subclass of: Falconiform
subclass of: Restriction
  on property: Nesting
  has value: true
subclass of: Restriction
  on property: Eat
  all values from: Class
    union of: Rodent
    union of: Fish
disjoint with: Hawk
subclass of: Restriction
  on property: HasHabitat
  all values from: Class
    union of: OnTree
    union of: Cliff
subclass of: Restriction
  some values from: LargeRound
  on property: HasBodypart
disjoint with: Falcon

Falcon
type: Class
disjoint with: Hawk
subclass of: Restriction
  all values from: Class
    union of: Rodent
    union of: Fish
    union of: Reptile
  on property: Eat
subclass of: Restriction
  has value: false
  on property: Nesting
subclass of: Falconiform
disjoint with: Eagle
subclass of: Restriction
  some values from: ShortRound
  on property: HasBodypart
subclass of: Restriction
  on property: HasHabitat
  all values from: Land

AfricanElephant
type: Class
subclass of: Restriction
  on property: HasLocation
  all values from: Africa
disjoint with: IndianElephant
subclass of: Class
  intersection of: Restriction
    min cardinality: 380
    on property: HasLength
  intersection of: Restriction
    max cardinality: 420
    on property: HasLength
subclass of: Elephant
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 6800
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 7200

IndianElephant
type: Class
disjoint with: AfricanElephant
subclass of: Restriction
  all values from: India
  on property: HasLocation
subclass of: Elephant
subclass of: Class
  intersection of: Restriction
    min cardinality: 2100
    on property: HasWeight
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 2500
subclass of: Class
  intersection of: Restriction
    min cardinality: 280
    on property: HasLength
  intersection of: Restriction
    on property: HasLength
    max cardinality: 320

Kangaroo
type: Class
subclass of: Restriction
  max cardinality: 85
  on property: HasWeight
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 30
  intersection of: Restriction
    on property: HasLength
    max cardinality: 200
subclass of: Restriction
  all values from: Oceania
  on property: HasLocation
subclass of: PoachInFront

Turtle
type: Class
subclass of: Reptile
subclass of: Restriction
  on property: HasLocation
  all values from: Class
    union of: Continents
    union of: Ocean
disjoint with: Crocodilae
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 11
  intersection of: Restriction
    max cardinality: 240
    on property: HasLength
subclass of: Restriction
  on property: HasBodyCover
  some values from: BonyShell
disjoint with: Lepidosaurae
subclass of: Restriction
  all values from: Class
    union of: Vegetable
    union of: Grass
  on property: Eat
subclass of: Restriction
  all values from: Class
    union of: Aquatic
    union of: Land
  on property: HasHabitat
subclass of: Restriction
  max cardinality: 900
  on property: HasWeight

Walrus
type: Class
subclass of: Restriction
  all values from: Class
    union of: ColdWater
    union of: Coast
    union of: IceFloe
  on property: HasHabitat
subclass of: Pinnipedae
subclass of: Restriction
  some values from: Tusk
  on property: HaveTeeth
subclass of: Restriction
  on property: HasLocation
  all values from: ColdNorthernSeas
subclass of: Restriction
  on property: HasWeight
  max cardinality: 1800
disjoint with: Seal
subclass of: Restriction
  all values from: Class
    union of: Gallumphing
    union of: Swimming
  on property: CanMove

Seal
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 85
  intersection of: Restriction
    max cardinality: 180
    on property: HasLength
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 40
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 150
subclass of: Restriction
  on property: Eat
  all values from: MarineCreatures
subclass of: Restriction
  all values from: NorthPole
  on property: HasLocation
subclass of: Pinnipedae
subclass of: Restriction
  on property: CanMove
  all values from: Class
    union of: Gallumphing
    union of: Crawling
    union of: Swimming
disjoint with: Walrus
subclass of: Restriction
  all values from: Class
    union of: ColdWater
    union of: Coast
  on property: HasHabitat

Rays
type: Class
subclass of: Restriction
  max cardinality: 700
  on property: HasLength
subclass of: Cartilaginous
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    all values from: Kilograms
  intersection of: Restriction
    on property: HasWeight
    max cardinality: 1360
subclass of: Restriction
  all values from: Class
    intersection of: Restriction
      on property: IsColored
      has value: true
    intersection of: Scale
  on property: HasBodyCover
subclass of: Restriction
  on property: HaveTeeth
  all values from: Class
    intersection of: Teeth
    intersection of: Restriction
      has value: true
      on property: IsBlunt

FlyingLemur
type: Class
subclass of: Class
  intersection of: Restriction
    on property: HasWeight
    min cardinality: 900
  intersection of: Restriction
    max cardinality: 2000
    on property: HasWeight
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 33
  intersection of: Restriction
    max cardinality: 42
    on property: HasLength
disjoint with: Chiroptera
subclass of: Flying
subclass of: Restriction
  all values from: Class
    union of: Flower
    union of: Fruit
  on property: Eat
subclass of: Restriction
  on property: HasBodypart
  all values from: Class
    complement of: Wing
subclass of: Restriction
  all values from: SouthEastAsia
  on property: HasLocation
subclass of: Restriction
  all values from: Class
    union of: Climbing
    union of: Fly
  on property: CanMove
subclass of: Restriction
  on property: HasHabitat
  all values from: OnTree

Shark
type: Class
subclass of: Cartilaginous
subclass of: Restriction
  on property: CanLive
  min cardinality: 70
subclass of: Restriction
  all values from: Class
    intersection of: Teeth
    intersection of: Restriction
      has value: true
      on property: IsSharp
  on property: HaveTeeth
subclass of: Class
  intersection of: Restriction
    on property: HasLength
    min cardinality: 60
  intersection of: Restriction
    max cardinality: 1500
    on property: HasLength