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 13448-13449
No TPTP formula. May not be expressible in strict first order. Merge.kif 13447-13447 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13446-13446 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 20158-20158 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 8894-8894 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9038-9038 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9102-9102 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13357-13357 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 4277-4277 Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16528-16528 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13503-13503 Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Geography.kif 6324-6324 Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 13500-13500 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 20496-20496 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 20540-20540 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 5824-5824 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 10751-10751 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14805-14805 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 16857-16857 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 16848-16848 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 8896-8903
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2098-2111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9040-9045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9020-9025
No TPTP formula. May not be expressible in strict first order. Geography.kif 2670-2675
No TPTP formula. May not be expressible in strict first order. Merge.kif 9921-9926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8833-8838
No TPTP formula. May not be expressible in strict first order. Merge.kif 16861-16866
No TPTP formula. May not be expressible in strict first order. Merge.kif 16784-16794
No TPTP formula. May not be expressible in strict first order. Merge.kif 16459-16464

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8515-8521 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 11427-11436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7707-7711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17761-17765
No TPTP formula. May not be expressible in strict first order. Merge.kif 13594-13600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2702-2709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8947-8951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8941-8945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20432-20438
No TPTP formula. May not be expressible in strict first order. Merge.kif 1304-1311
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 12540-12544
No TPTP formula. May not be expressible in strict first order. Merge.kif 13962-13967
No TPTP formula. May not be expressible in strict first order. Merge.kif 13804-13809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2675-2683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2345-2350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4215-4224
No TPTP formula. May not be expressible in strict first order. Geography.kif 5813-5822
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 10626-10631
No TPTP formula. May not be expressible in strict first order. Merge.kif 14795-14802
No TPTP formula. May not be expressible in strict first order. Merge.kif 11373-11378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4303-4312
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 18123-18123 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18138-18138 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18104-18104 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18128-18128 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18090-18090 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 18071-18071 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 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 3.0 is open source software produced by Articulate Software and its partners