Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Animal

Sigma KEE - Animal
Animal(animal)Animalia, Insessores, Mantophasmatodea, Mecoptera, abranchial, abranchiate, abranchious, acaudal, acaudate, acrodont, all-devouring, ametabolic, ametabolous, anguine, animal, animal_kingdom, animal_order, animate, animate_being, anthophagous, anthophilous, anurous, arenicolous, armored, armoured, autoecious, axenic, baccivorous, beakless, beast, beast_of_burden, big_game, biped, bipedal, bobtail, bobtailed, body, bone-covered, bottom-feeder, branchiate, broken, broken_in, brute, by-catch, bycatch, captive, carnivore, carpophagous, caudate, caudated...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3392-3393
No TPTP formula. May not be expressible in strict first order. Merge.kif 13433-13434
No TPTP formula. May not be expressible in strict first order. Merge.kif 13432-13432 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13431-13431 Animal is a subclass of organism

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21677-21677 Every animal anatomical structure is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9749-9749 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9891-9891 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9954-9954 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13342-13342 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4881-4881 Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17805-17805 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13488-13488 Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Geography.kif 6225-6225 Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13485-13485 Vertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 972-972
No TPTP formula. May not be expressible in strict first order. english_format.kif 1156-1156

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22002-22002 The number 1 argument of birthplace is an instance of animal
No TPTP formula. May not be expressible in strict first order. Biography.kif 92-92 The number 1 argument of burialplace is an instance of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22045-22045 The number 1 argument of deathplace is an instance of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6424-6424 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 10736-10736 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14790-14790 The number 1 argument of wears is an instance of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18137-18137 The number 2 argument of meat of animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18128-18128 The number 2 argument of productOfAnimal is a subclass of animal

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9751-9758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2622-2635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9893-9898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9873-9878
No TPTP formula. May not be expressible in strict first order. Geography.kif 2648-2653
No TPTP formula. May not be expressible in strict first order. Merge.kif 9906-9911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9689-9694
No TPTP formula. May not be expressible in strict first order. Merge.kif 16846-16851
No TPTP formula. May not be expressible in strict first order. Merge.kif 16769-16779
No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16449

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9374-9380 A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
No TPTP formula. May not be expressible in strict first order. Merge.kif 11412-11421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8521-8525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19080-19084
No TPTP formula. May not be expressible in strict first order. Merge.kif 13579-13585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3231-3238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9801-9805
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9795-9799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21938-21944
No TPTP formula. May not be expressible in strict first order. Merge.kif 1305-1312
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. naics.kif 7326-7340
No TPTP formula. May not be expressible in strict first order. Merge.kif 12525-12529
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13952
No TPTP formula. May not be expressible in strict first order. Merge.kif 13789-13794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3204-3212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2871-2876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4819-4828
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5729
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1345-1353
No TPTP formula. May not be expressible in strict first order. Merge.kif 10611-10616
No TPTP formula. May not be expressible in strict first order. Merge.kif 14780-14787
No TPTP formula. May not be expressible in strict first order. Merge.kif 11358-11363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4907-4916
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19483-19483 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19498-19498 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19448-19448 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19488-19488 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19434-19434 Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3947-3947 Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3954-3954 Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19412-19412 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19493-19493 Pear fruit is a subclass of food for animal


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners