Animal - Sigma Knowledge base Browser

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	If an object is an instance of animal and another object is an instance of animal shell and the other object is a part of the object, then the object is an instance of invertebrate or the object is an instance of reptile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2621-2634	If an agent is an instance of animal and an entity is an instance of disease or syndrome and the entity is not an attribute of the agent, then there exist a process and another entity such that the process is an instance of biological process and the process is an instance of removing and the process originates at the agent and the other entity is an instance of sewage and the agent is an agent of the process and the other entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9882-9887	If an object is an instance of animal and another object is an instance of exoskeleton and the other object is a part of the object, then the object is an instance of invertebrate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9862-9867	If an object is an instance of animal and another object is an instance of skeleton and the other object is a part of the object, then the object is an instance of vertebrate
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2636-2641	If a process is an instance of fishing and an entity is a patient of the process and the entity is an instance of animal, then the entity is an instance of fish
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10402-10407	If a process is an instance of intentional process and an agent is an agent of the process and the agent is an instance of animal, then awake is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9678-9683	If an object is an instance of nervous system and the object is a part of another object and the other object is an instance of animal, then the other object is an instance of vertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18400-18405	If an object is an instance of animal, then there exists an entity such that the entity is an instance of sex attribute and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18311-18321	If an agent is an instance of animal, then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an entity such that the entity is an instance of body position and the entity is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17917-17922	If an object is an instance of food for animal, then there exists an entity such that the entity is an instance of taste attribute and the entity is an attribute of the object

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	If a process is an instance of surgery and an entity is a patient of the process, then there exists another process such that the other process is an instance of cutting and the entity is an instance of animal and the entity is a patient of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8525-8529	If a process is an instance of bathing and an entity is a patient of the process, then the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18618-18622	If a process is an instance of bleeding and an agent experiences the process, then the agent is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14551-14557	If an agent is an instance of carnivore and a process is an instance of eating and the agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3230-3237	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9790-9794	If a process is an instance of feeding and the process ends up at an entity, then the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9784-9788	If a process is an instance of feeding and an entity is a patient of the process, then the entity is an instance of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21502-21508	If a process is an instance of laying eggs and an agent experiences the process, then the agent is an instance of animal and female is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1435-1442	If an object is an instance of animal language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of animal and the agent is not an instance of human
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	If a collection is an instance of organization and agriculture forestry fishing and hunting is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the process is an instance of killing or the process is an instance of maintaining and the entity is a patient of the process and the entity is an instance of animal or the entity is an instance of plant and the entity is not an instance of human and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the entity is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7326-7340	If a collection is an instance of organization and food and beverage stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists an entity such that the agent is an instance of selling and the entity is an instance of food for animal or the entity is an instance of beverage and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13325-13329	If a process is an instance of perception and an agent is an agent of the process, then the agent is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14989-14994	If an object is an instance of animal anatomical structure and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14808-14813	If an object is an instance of animal substance and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3203-3211	If an object is an instance of animal controller, then the object has purpose there exist a process and an entity such that the process is an instance of guiding and the object is an instrument for the process and the entity is an instance of animal and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2870-2875	If an entity is an instance of toy animal, then there exists another entity such that the other entity is an instance of animal and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4814-4823	If a process is an instance of AnimalGuiding, then there exist an agent and a transfer such that the agent is an instance of animal and another agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5613-5622	If an entity is an instance of burrow, then there exist a process and an agent such that the process is an instance of process and the agent is an agent of the process and the agent is an instance of animal and the agent is not an instance of human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1344-1352	If an object is an instance of CS gas, then the object has purpose there exist a process and an entity such that the process is an instance of injuring and the object is an instrument for the process and the entity is a patient of the process and the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11164-11169	If a process is an instance of carrying, then there exists an object such that the object is an instance of animal and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11994-11999	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4902-4911	If an object is an instance of dish, then the object has purpose there exist a physical and a process such that the process is an instance of eating and the physical is a patient of the process and the object is a patient of the process and the physical is an instance of food for animal and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an object and an agent such that the object is an instance of food for animal and the agent is an instance of cognitive agent and the object is a patient of the process and the process ends up at the agent and the agent possesses the object holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7185-7192	If a collection is an instance of group of animals, then for all an object if the object is a member of the collection, then the object is an instance of animal and the object is not an instance of human

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

KB Term:			Term intersection

English Word: