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 14181-14182
No TPTP formula. May not be expressible in strict first order. Merge.kif 14180-14180 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14179-14179 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 23164-23164 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 11010-11010 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11154-11154 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11265-11265 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14090-14090 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 4297-4297 Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19360-19360 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14236-14236 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 14233-14233 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 23630-23630 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 23674-23674 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 6445-6445 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 11329-11329 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15649-15649 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 19689-19689 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 19680-19680 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 14709-14720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11012-11019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2117-2130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11156-11161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11136-11141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10721-10731
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 10410-10415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10949-10954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11318-11325
No TPTP formula. May not be expressible in strict first order. Merge.kif 17862-17867
No TPTP formula. May not be expressible in strict first order. Merge.kif 17785-17795
No TPTP formula. May not be expressible in strict first order. Merge.kif 17369-17374

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10447-10453 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 12029-12038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8465-8469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20706-20710
No TPTP formula. May not be expressible in strict first order. Merge.kif 14336-14342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11063-11067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11057-11061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23566-23572
No TPTP formula. May not be expressible in strict first order. Merge.kif 1360-1367
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 13209-13213
No TPTP formula. May not be expressible in strict first order. Merge.kif 14730-14735
No TPTP formula. May not be expressible in strict first order. Merge.kif 14546-14551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2694-2702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2364-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4235-4244
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 11204-11209
No TPTP formula. May not be expressible in strict first order. Merge.kif 15639-15646
No TPTP formula. May not be expressible in strict first order. Merge.kif 11975-11980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4323-4332
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 21128-21128 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21143-21143 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21065-21065 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21133-21133 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21051-21051 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 21032-21032 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21138-21138 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 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