TreeView Knowledge Base Browser

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	If an object is an instance of animal and another object is an instance of the an AntiSymmetricPositionalAttribute a kind of body part and the AntiSymmetricPositionalAttribute is the opposite of the AntiSymmetricPositionalAttributeO and Healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the AntiSymmetricPositionalAttributeO a kind of body part and the other object is the AntiSymmetricPositionalAttribute to the other objectO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11016-11023	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 2121-2134	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11160-11165	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 11140-11145	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.	Mid-level-ontology.kif 10725-10735	If an object is an instance of chest and a class is an instance of animal and the object is an instance of the class and the object is a part of the class, then there exists another object such that the other object is an instance of torso and the object is a part of the other object and the other object is a part of the class
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2711-2716	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 10416-10421	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 10953-10958	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.	Mid-level-ontology.kif 11322-11329	If an object is an instance of vital organ and another object is an instance of animal and the object is not a part of the other object, then living is not an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17873	If an object is an instance of animal, then there exists an attribute such that the attribute is an instance of sex attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17791-17801	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 attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17375-17380	If an object is an instance of food for animal, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object

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	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 8469-8473	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 20710-20714	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 14342-14348	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 2725-2732	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 11067-11071	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 11061-11065	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 23570-23576	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 1366-1373	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 7319-7333	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 a process such that the process is a member of the collection and the agent is an agent of the process 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 13215-13219	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 14736-14741	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 14552-14557	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 2698-2706	If a physical is an instance of animal controller, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the physical is an instrument for the entity and the other entity is an instance of animal and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2368-2373	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 4239-4248	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 5928-5937	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 1345-1353	If a physical is an instance of CS gas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of injuring and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11210-11215	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 15645-15652	If a physical is an instance of clothing, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is a part of the entity and the physical covers the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11981-11986	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 4327-4336	If a physical is an instance of dish, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
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 entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process

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 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

KB Term:			Term intersection

English Word: