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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(animal)حَيَوَان, Animal, Animale, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14371-14372
No TPTP formula. May not be expressible in strict first order. Merge.kif 14369-14370
No TPTP formula. May not be expressible in strict first order. Merge.kif 14368-14368 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14367-14367 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 21241-21241 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 9738-9738 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9880-9880 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9943-9943 Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14258-14258 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 4876-4876 Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17414-17414 Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14432-14432 Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Geography.kif 6117-6117 Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14428-14428 Vertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 972-972 "动物" is the printable form of animal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 659-659 "animal" is the printable form of animal in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 649-649 "animal" is the printable form of animal in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 180-180 "pashu" is the printable form of animal in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 181-181 "Animale" is the printable form of animal in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 601-601 "Animal" is the printable form of animal in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 385-385 "حَيَوَان" is the printable form of animal in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 185-185 "hayup" is the printable form of animal in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 217-217 "animal" is the printable form of animal in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 184-184 "hayop" is the printable form of animal in tg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21566-21566 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 21609-21609 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 6440-6440 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 11298-11298 The number 1 argument of grasps is an instance of animal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15946-15946 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 17746-17746 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 17737-17737 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 9740-9747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2621-2634
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9882-9887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9862-9867
No TPTP formula. May not be expressible in strict first order. Geography.kif 2636-2641
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9678-9683
No TPTP formula. May not be expressible in strict first order. Merge.kif 18400-18405
No TPTP formula. May not be expressible in strict first order. Merge.kif 18311-18321
No TPTP formula. May not be expressible in strict first order. Merge.kif 17917-17922

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9378-9384 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 12056-12065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8525-8529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18618-18622
No TPTP formula. May not be expressible in strict first order. Merge.kif 14551-14557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3230-3237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9790-9794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9784-9788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21502-21508
No TPTP formula. May not be expressible in strict first order. Merge.kif 1435-1442
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 13325-13329
No TPTP formula. May not be expressible in strict first order. Merge.kif 14989-14994
No TPTP formula. May not be expressible in strict first order. Merge.kif 14808-14813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3203-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2870-2875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4814-4823
No TPTP formula. May not be expressible in strict first order. Geography.kif 5613-5622
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1344-1352
No TPTP formula. May not be expressible in strict first order. Merge.kif 11164-11169
No TPTP formula. May not be expressible in strict first order. Merge.kif 11994-11999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4902-4911
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 7185-7192

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 19020-19020 Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19035-19035 Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18985-18985 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19025-19025 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18971-18971 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 18949-18949 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19030-19030 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