TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14089-14089	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14091-14092
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6748-6748
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7486-7486
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7488-7488
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.	Merge.kif 14088-14088	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14087-14087	Organism is a subclass of organic object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14081-14081	Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14179-14179	Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14158-14158	Fungus is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	Genetically engineered organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14184-14184	Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5570-5570	Parasite is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14132-14132	Plant is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16075-16075	The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16076-16076	The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16163-16163	The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16164-16164	The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16057-16057	The number 1 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16058-16058	The number 2 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16151-16151	The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16152-16152	The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14103-14103	The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16134-16134	The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16135-16135	The number 2 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5951-5951	The number 1 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5952-5952	The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16090-16090	The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16091-16091	The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16036-16036	The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16037-16037	The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16190-16190	The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16191-16191	The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16175-16175	The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16176-16176	The number 2 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 87-87	The number 1 argument of AgentOfOrganismFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 108-108	The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Food.kif 1080-1080	The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14588-14588	The number 1 argument of FoodForFn is a subclass of organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16049-16054	If there is a legal relation between an entity and another entity holds during a time position and the entity is an instance of organism and the other entity is an instance of organism, then the other entity is a relative of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17851-17856	If an object is an instance of reproductive body and the object is a part of another object and the other object is an instance of organism, then female is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10130-10145	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if another entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 83-92	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the agent experiences the process, then the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 72-81	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the entity is a result of the process, then the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1373-1391	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10354-10359	If a process is an instance of damaging and an entity is an instance of organism and the entity is a patient of the process, then the process is an instance of injuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 524-538	If an object is an instance of organism and another object is an instance of egg and embryonic is an attribute of the object and the object is a part of the other object, then there exists a physical such that the physical is an instance of EggYolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17823-17827	If an agent is an instance of organism and the agent is an agent of a process, then living 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 122-130	If an entity is an instance of organic object and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agent is a subclass of organism and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 56-63	If an entity is an instance of organic object and a process is an instance of death and an agent is an instance of organism and the agent experiences the process and the entity is a result of the process, then the entity is an instance of OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14730-14735	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 14741-14746	If an object is an instance of plant 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 plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14546-14551	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.	Merge.kif 14557-14562	If an object is an instance of plant 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 plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16104-16109	If an organism is a parent of another organism and a class is a subclass of organism and the organism is an instance of the class, then the other organism is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17835-17840	If an object is an instance of organism, then there exists an attribute such that the attribute is an instance of animacy attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17892-17897	If an object is an instance of organism, then there exists an attribute such that the attribute is an instance of developmental attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 94-97	If a physical is an instance of organism, then living is an attribute of the physical holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14094-14099	If an agent is an instance of organism, then there exists a process such that the process is an instance of birth and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16121-16124	If an organism is an instance of organism, then there exists another organism such that the other organism is a parent of the organism

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10159-10165	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	If a process is an instance of biochemical attack and an entity is a patient of the process, then the entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14205-14209	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11035-11039	If a process is an instance of chewing and an object is a resource for the process, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14164-14168	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5529-5541	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12066-12073	If a process is an instance of killing and an agent is an agent of the process and an entity is a patient of the process, then the agent is an instance of organism and the entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10060-10064	If a process is an instance of biological process and an agent experiences the process, then the agent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12023	If a process is an instance of therapeutic process and an object is a patient of the process, then the object is an instance of organism or there exists another object such that the other object is an instance of organism and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 43-54	If a physical is an instance of OrganismRemains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14217-14221	If an organism is an instance of virus and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Food.kif 34-36	If raw food is an attribute of an object, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14651-14657	If an entity is an instance of anatomical structure, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a part of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18003-18009	If an entity is an instance of psychological attribute, then if the entity is an attribute of another entity holds during a time position and the other entity is an instance of organism, then living is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12625-12630	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for organism and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14806-14813	If an object is an instance of body covering, then there exists another object such that the object is a superficial part of the other object and the other object is an instance of organism or the other object is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10345-10352	If a process is an instance of injuring, then the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10989-10994	If a process is an instance of body motion, then there exists an agent such that the agent is an instance of organism and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14685-14691	If an entity is an instance of body part, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a component of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10368-10375	If a process is an instance of poisoning, then there exists an entity such that the entity is a patient of the process and the entity is an instance of organism or the entity is an instance of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10053-10058	If a process is an instance of biological process, then there exists an entity such that the entity is an instance of organism and the process is located at 2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: