Animal - Sigma 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 14470-14471
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14469-14469	Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	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 23720-23720	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 11528-11528	Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11672-11672	Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11783-11783	Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14379-14379	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 4407-4407	Biped is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20016-20016	Domestic animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14525-14525	Invertebrate is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6794-6794	Locust is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14522-14522	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 649-649
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 183-183
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2333-2333
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 601-601
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 185-185
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 670-670
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 184-184

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24252-24252	The number 1 argument of birthplace is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 204-204	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 24296-24296	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 6784-6784	The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11518-11518	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 20353-20353	The number 2 argument of meat of animal is a subclass of animal

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	If an object is an instance of BodyAreaFn a kind of body part and another object is an instance of animal and the object is a part of the other object, then there exists a third object such that the third object is an instance of a kind of body part and the object is near to the third object and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15001-15012	If an object is an instance of animal and another object is an instance of the an anti-symmetric positional attribute a kind of body part and the anti-symmetric positional attribute is the opposite of the anti-symmetric positional attributeO 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 anti-symmetric positional attributeO a kind of body part and the other object is the anti-symmetric positional attribute to the other objectO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11530-11537	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 2162-2175	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 11674-11679	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 11654-11659	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 11218-11228	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 2708-2713	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.	Medicine.kif 5490-5500	If an object is an instance of intestine and another object is an instance of animal and the object is a part of the other object, then the statement there exists an entity such that the entity is an instance of E. coli and the object contains the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10527-10532	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 11449-11454	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.	Cars.kif 3397-3425	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11836-11843	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.	Cars.kif 3539-3560	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6582-6584	If an object is an instance of animal, then the object is capable of doing drooling as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18150-18155	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 18069-18079	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 17653-17658	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 10943-10949	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.	Food.kif 2876-2882	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of meat, then a kind of organic object is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12281-12290	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 8861-8865	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 21388-21392	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 14625-14631	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 2766-2773	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 11581-11585	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 11575-11579	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 24130-24136	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 1420-1427	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 13477-13481	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 15022-15027	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 14838-14843	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 2739-2747	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 2409-2414	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 4345-4354	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other 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 6031-6040	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.	Medicine.kif 491-503	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
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 11393-11398	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 15936-15943	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

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 1744-1744	Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21632-21632	Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	Wine grape 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

KB Term:			Term intersection

English Word: