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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13396-13397
No TPTP formula. May not be expressible in strict first order. Merge.kif 13395-13395 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13394-13394 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 21698-21698 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 9774-9774 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9916-9916 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9979-9979 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13305-13305 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 17827-17827 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13451-13451 Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Geography.kif 6132-6132 Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13448-13448 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 22023-22023 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 22066-22066 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 6451-6451 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 10696-10696 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14742-14742 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 18159-18159 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 18150-18150 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 9776-9783
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 9918-9923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9898-9903
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 9863-9868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9714-9719
No TPTP formula. May not be expressible in strict first order. Merge.kif 16792-16797
No TPTP formula. May not be expressible in strict first order. Merge.kif 16715-16725
No TPTP formula. May not be expressible in strict first order. Merge.kif 16390-16395

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9399-9405 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 11372-11381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8546-8550
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19101-19105
No TPTP formula. May not be expressible in strict first order. Merge.kif 13542-13548
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 9826-9830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9820-9824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21959-21965
No TPTP formula. May not be expressible in strict first order. Merge.kif 1301-1308
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 12488-12492
No TPTP formula. May not be expressible in strict first order. Merge.kif 13910-13915
No TPTP formula. May not be expressible in strict first order. Merge.kif 13752-13757
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 5627-5636
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 10571-10576
No TPTP formula. May not be expressible in strict first order. Merge.kif 11318-11323
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7197-7204

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 19504-19504 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19519-19519 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19469-19469 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19509-19509 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19455-19455 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 19433-19433 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19514-19514 Pear fruit is a subclass of food for animal


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners