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 14187-14188
No TPTP formula. May not be expressible in strict first order. Merge.kif 14186-14186 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14185-14185 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 23168-23168 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 11014-11014 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11158-11158 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11269-11269 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14096-14096 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 4301-4301 Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19364-19364 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14242-14242 Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Geography.kif 6482-6482 Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14239-14239 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 1151-1151

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23634-23634 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 23678-23678 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 6449-6449 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 11335-11335 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15655-15655 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 19693-19693 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 19684-19684 The number 2 argument of productOfAnimal is a subclass of animal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14715-14726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11016-11023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2121-2134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11140-11145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10725-10735
No TPTP formula. May not be expressible in strict first order. Geography.kif 2711-2716
No TPTP formula. May not be expressible in strict first order. Merge.kif 10416-10421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10953-10958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11322-11329
No TPTP formula. May not be expressible in strict first order. Merge.kif 17868-17873
No TPTP formula. May not be expressible in strict first order. Merge.kif 17791-17801
No TPTP formula. May not be expressible in strict first order. Merge.kif 17375-17380

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10451-10457 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 12035-12044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8469-8473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20710-20714
No TPTP formula. May not be expressible in strict first order. Merge.kif 14342-14348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2725-2732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11067-11071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11061-11065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23570-23576
No TPTP formula. May not be expressible in strict first order. Merge.kif 1366-1373
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 7319-7333
No TPTP formula. May not be expressible in strict first order. Merge.kif 13215-13219
No TPTP formula. May not be expressible in strict first order. Merge.kif 14736-14741
No TPTP formula. May not be expressible in strict first order. Merge.kif 14552-14557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2698-2706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2368-2373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4239-4248
No TPTP formula. May not be expressible in strict first order. Geography.kif 5928-5937
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 11210-11215
No TPTP formula. May not be expressible in strict first order. Merge.kif 15645-15652
No TPTP formula. May not be expressible in strict first order. Merge.kif 11981-11986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4327-4336
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 1755-1755 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 21132-21132 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21147 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21069-21069 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21137-21137 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21055-21055 Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4036-4036 Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4043-4043 Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21036-21036 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21142-21142 Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Food.kif 1102-1102 Wine grape 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 3.0 is open source software produced by Articulate Software and its partners