Organism - Sigma Knowledge base Browser

appearance as argument number 1

s__disjoint(s__Organism,s__Artifact)	Merge.kif 14394-14394	Organism is disjoint from artifact
s__documentation(s__Organism,s__ChineseLanguage,'这通常是指有生命的个体，包括所有的 Plant 和 Animal。')	Merge.kif 14398-14398
s__documentation(s__Organism,s__EnglishLanguage,'Generally, a living individual, including all Plants and Animals.')	Merge.kif 14396-14397
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg')	pictureList.kif 6748-6748	"http://upload.wikimedia.org/wikipedia/commons/3/3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg')	pictureList.kif 7485-7485	"http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg')	pictureList.kif 7486-7486	"http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg')	pictureList.kif 7487-7487	"http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg" is a URL depicting organism
s__externalImage(s__Organism,'http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg')	pictureList.kif 7489-7489	"http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg" is a URL depicting organism
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)	Merge.kif 14395-14395	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
s__subclass(s__Organism,s__Agent) s__instance(s__Agent,s__SetOrClass) s__instance(s__Organism,s__SetOrClass)	Merge.kif 14393-14393	Organism is a subclass of agent
s__instance(s__Organism,s__SetOrClass) s__subclass(s__Organism,s__OrganicObject) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 14392-14392	Organism is a subclass of organic object

appearance as argument number 2

s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)	Merge.kif 14383-14383	Organic object is exhaustively partitioned into organism and anatomical structure
s__instance(s__Organism,s__SetOrClass) s__subclass(s__Animal,s__Organism) s__instance(s__Animal,s__SetOrClass)	Merge.kif 14504-14504	Animal is a subclass of organism
s__instance(s__Organism,s__SetOrClass) s__instance(s__Fungus,s__SetOrClass) s__subclass(s__Fungus,s__Organism)	Merge.kif 14477-14477	Fungus is a subclass of organism
s__instance(s__Organism,s__SetOrClass) s__subclass(s__GeneticallyEngineeredOrganism,s__Organism) s__instance(s__GeneticallyEngineeredOrganism,s__SetOrClass)	WMD.kif 234-234	Genetically engineered organism is a subclass of organism
s__instance(s__Organism,s__SetOrClass) s__instance(s__Microorganism,s__SetOrClass) s__subclass(s__Microorganism,s__Organism)	Merge.kif 14511-14511	Microorganism is a subclass of organism
s__instance(s__Organism,s__SetOrClass) s__subclass(s__Plant,s__Organism) s__instance(s__Plant,s__SetOrClass)	Merge.kif 14444-14444	Plant is a subclass of organism
s__instance(s__ToxicOrganism,s__SetOrClass) s__instance(s__Organism,s__SetOrClass) s__subclass(s__ToxicOrganism,s__Organism)	WMD.kif 187-187	Toxic organism is a subclass of organism
s__termFormat(s__ChineseLanguage,s__Organism,'生物')	chinese_format.kif 964-964	"生物" is the printable form of organism in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Organism,'organism')	english_format.kif 958-958	"organism" is the printable form of organism in english language
s__termFormat(s__JapaneseLanguage,s__Organism,'物')	english_format.kif 959-959	"物" is the printable form of organism in japanese language

appearance as argument number 3

s__domain(s__ancestor__m,1,s__Organism)	Merge.kif 16572-16572	The number 1 argument of ancestor is an instance of organism
s__domain(s__ancestor__m,2,s__Organism)	Merge.kif 16573-16573	The number 2 argument of ancestor is an instance of organism
s__domain(s__daughter__m,1,s__Organism)	Merge.kif 16667-16667	The number 1 argument of daughter is an instance of organism
s__domain(s__daughter__m,2,s__Organism)	Merge.kif 16668-16668	The number 2 argument of daughter is an instance of organism
s__domain(s__familyRelation__m,1,s__Organism)	Merge.kif 16552-16552	The number 1 argument of family relation is an instance of organism
s__domain(s__familyRelation__m,2,s__Organism)	Merge.kif 16553-16553	The number 2 argument of family relation is an instance of organism
s__domain(s__father__m,1,s__Organism)	Merge.kif 16653-16653	The number 1 argument of father is an instance of organism
s__domain(s__father__m,2,s__Organism)	Merge.kif 16654-16654	The number 2 argument of father is an instance of organism
s__domain(s__inhabits__m,1,s__Organism)	Merge.kif 14409-14409	The number 1 argument of inhabits is an instance of organism
s__domain(s__mother__m,1,s__Organism)	Merge.kif 16635-16635	The number 1 argument of mother is an instance of organism
s__domain(s__mother__m,2,s__Organism)	Merge.kif 16636-16636	The number 2 argument of mother is an instance of organism
s__domain(s__parasite__m,1,s__Organism)	Mid-level-ontology.kif 6095-6095	The number 1 argument of parasite is an instance of organism
s__domain(s__parasite__m,2,s__Organism)	Mid-level-ontology.kif 6096-6096	The number 2 argument of parasite is an instance of organism
s__domain(s__parent__m,1,s__Organism)	Merge.kif 16590-16590	The number 1 argument of parent is an instance of organism
s__domain(s__parent__m,2,s__Organism)	Merge.kif 16591-16591	The number 2 argument of parent is an instance of organism
s__domain(s__relative__m,1,s__Organism)	Merge.kif 16527-16527	The number 1 argument of relative is an instance of organism
s__domain(s__relative__m,2,s__Organism)	Merge.kif 16528-16528	The number 2 argument of relative is an instance of organism
s__domain(s__sibling__m,1,s__Organism)	Merge.kif 16698-16698	The number 1 argument of sibling is an instance of organism
s__domain(s__sibling__m,2,s__Organism)	Merge.kif 16699-16699	The number 2 argument of sibling is an instance of organism
s__domain(s__son__m,1,s__Organism)	Merge.kif 16681-16681	The number 1 argument of son is an instance of organism
s__domain(s__son__m,2,s__Organism)	Merge.kif 16682-16682	The number 2 argument of son is an instance of organism
s__domainSubclass(s__AgentOfOrganismFn__m,1,s__Organism)	WMD.kif 87-87	The number 1 argument of AgentOfOrganismFn is a subclass of organism
s__domainSubclass(s__DeadFn__m,1,s__Organism)	Mid-level-ontology.kif 235-235	The number 1 argument of DeadFn is a subclass of organism
s__domainSubclass(s__FarmOfProductFn__m,1,s__Organism)	Food.kif 1135-1135	The number 1 argument of FarmOfProductFn is a subclass of organism
s__domainSubclass(s__FoodForFn__m,1,s__Organism)	Merge.kif 14994-14994	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 16543-16548	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
( ! [V__BODY,V__ORG] : ((s__instance(V__BODY,s__ReproductiveBody)s__and__ms__part(V__BODY,V__ORG) s__and__ms__instance(V__ORG,s__Organism)) s__=>s__attribute(V__ORG,s__Female)) )	Merge.kif 18526-18531	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 10280-10295	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 208-217	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 196-205	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 1797-1812	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 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 length measure1 is less than or equal to the length measure, 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.	Food.kif 587-601	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 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 18495-18499	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
( ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] : ((s__instance(V__ORG,s__Agent)s__and__ms__instance(V__ORG,s__SetOrClass)s__and__ms__subclass(V__ORGTYPE,s__Organism)s__and__ms__instance(V__ORGTYPE,s__SetOrClass)) s__=>((s__instance(V__REM,s__OrganicObject)s__and__ms__instance(V__DEATH,s__Death)s__and__ms__experiencer(V__DEATH,V__ORG) s__and__ms__instance(V__ORG,V__ORGTYPE) s__and__ms__subclass(V__ORG,s__Organism)s__and__ms__result(V__DEATH,V__REM)) s__=>s__instance(V__REM,s__DeadFn(V__ORGTYPE)))) )	Mid-level-ontology.kif 251-259	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
( ! [V__REM,V__DEATH,V__ORG] : ((s__instance(V__REM,s__OrganicObject)s__and__ms__instance(V__DEATH,s__Death)s__and__ms__instance(V__ORG,s__Organism)s__and__ms__experiencer(V__DEATH,V__ORG) s__and__ms__result(V__DEATH,V__REM)) s__=>s__instance(V__REM,s__OrganismRemains)) )	Mid-level-ontology.kif 178-185	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
( ! [V__STRUCTURE,V__ANIMAL] : ((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure)s__and__ms__instance(V__ANIMAL,s__Organism)s__and__ms__part(V__STRUCTURE,V__ANIMAL)) s__=>s__instance(V__ANIMAL,s__Animal)) )	Merge.kif 15126-15131	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
( ! [V__STRUCTURE,V__PLANT] : ((s__instance(V__STRUCTURE,s__PlantAnatomicalStructure)s__and__ms__instance(V__PLANT,s__Organism)s__and__ms__part(V__STRUCTURE,V__PLANT)) s__=>s__instance(V__PLANT,s__Plant)) )	Merge.kif 15139-15144	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
( ! [V__SUBSTANCE,V__ANIMAL] : ((s__instance(V__SUBSTANCE,s__AnimalSubstance)s__and__ms__instance(V__ANIMAL,s__Organism)s__and__ms__part(V__SUBSTANCE,V__ANIMAL)) s__=>s__instance(V__ANIMAL,s__Animal)) )	Merge.kif 14945-14950	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
( ! [V__SUBSTANCE,V__PLANT] : ((s__instance(V__SUBSTANCE,s__PlantSubstance)s__and__ms__instance(V__PLANT,s__Organism)s__and__ms__part(V__SUBSTANCE,V__PLANT)) s__=>s__instance(V__PLANT,s__Plant)) )	Merge.kif 14957-14962	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
( ! [V__CLASS,V__CHILD,V__PARENT] : ((s__instance(V__CLASS,s__SetOrClass)s__and__ms__instance(V__CHILD,s__Organism)s__and__ms__instance(V__PARENT,s__Organism)) s__=>((s__parent(V__CHILD,V__PARENT) s__and__ms__subclass(V__CLASS,s__Organism)s__and__ms__instance(V__PARENT,V__CLASS)) s__=>s__instance(V__CHILD,V__CLASS))) )	Merge.kif 16606-16611	If an organism is a parent of another organism and a set or class is a subclass of organism and the organism is an instance of the set or class, then the other organism is an instance of the set or class
( ! [V__ORG] : (s__instance(V__ORG,s__Organism)s__=>(s__exists__m[V__ATTR] : (s__instance(V__ATTR,s__AnimacyAttribute)s__and__ms__attribute(V__ORG,V__ATTR)))) )	Merge.kif 18508-18513	If an object is an instance of organism, then there exists an entity such that the entity is an instance of animacy attribute and the entity is an attribute of the object
( ! [V__ORG] : (s__instance(V__ORG,s__Organism)s__=>(s__exists__m[V__ATTR] : (s__instance(V__ATTR,s__DevelopmentalAttribute)s__and__ms__attribute(V__ORG,V__ATTR)))) )	Merge.kif 18573-18578	If an object is an instance of organism, then there exists an entity such that the entity is an instance of developmental attribute and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 220-223	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
( ! [V__ORGANISM] : (s__instance(V__ORGANISM,s__Organism)s__=>(s__exists__m[V__BIRTH] : (s__instance(V__BIRTH,s__Birth)s__and__ms__experiencer(V__BIRTH,V__ORGANISM)))) )	Merge.kif 14400-14405	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
( ! [V__ORGANISM] : (s__instance(V__ORGANISM,s__Organism)s__=>(s__exists__m[V__PARENT] : (s__instance(V__PARENT,s__Organism)s__and__ms__parent(V__ORGANISM,V__PARENT)))) )	Merge.kif 16623-16626	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

( ! [V__INJ] : (s__instance(V__INJ,s__Injuring)s__<=> (s__instance(V__INJ,s__Damaging)s__and__m(s__exists__m[V__ORGANISM] : (s__instance(V__ORGANISM,s__Organism)s__and__ms__patient(V__INJ,V__ORGANISM))))) )	Merge.kif 10481-10488	A process is an instance of injuring if and only if 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
( ! [V__FOOD,V__ACT] : (s__instance(V__FOOD,s__Object)s__=>((s__instance(V__ACT,s__Ingesting)s__and__ms__resource(V__ACT,V__FOOD)) s__=>s__instance(V__FOOD,s__FoodForFn(s__Organism)))) )	Merge.kif 10310-10314	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
( ! [V__ATTACK,V__OBJ] : ((s__instance(V__ATTACK,s__BiochemicalAttack)s__and__ms__patient(V__ATTACK,V__OBJ)) s__=>s__instance(V__OBJ,s__Organism)) )	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
( ! [V__OBJ,V__BACTERIUM] : (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__BACTERIUM,s__Bacterium)s__and__ms__inhabits(V__BACTERIUM,V__OBJ)) s__=>s__instance(V__OBJ,s__Organism))) )	Merge.kif 14535-14539	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
( ! [V__FOOD,V__CHEW] : (s__instance(V__FOOD,s__Object)s__=>((s__instance(V__CHEW,s__Chewing)s__and__ms__resource(V__CHEW,V__FOOD)) s__=>s__instance(V__FOOD,s__FoodForFn(s__Organism)))) )	Mid-level-ontology.kif 9775-9779	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
( ! [V__OBJ,V__FUNGUS] : (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__FUNGUS,s__Fungus)s__and__ms__inhabits(V__FUNGUS,V__OBJ)) s__=>s__instance(V__OBJ,s__Organism))) )	Merge.kif 14485-14489	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
( ! [V__AGENT,V__KILL,V__PATIENT] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__KILL,s__Killing)s__and__ms__agent(V__KILL,V__AGENT) s__and__ms__patient(V__KILL,V__PATIENT)) s__=>(s__instance(V__AGENT,s__Organism)s__and__ms__instance(V__PATIENT,s__Organism)))) )	Merge.kif 12236-12243	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
( ! [V__ORG,V__PROC] : (s__instance(V__ORG,s__Agent)s__=>((s__instance(V__PROC,s__BiologicalProcess)s__and__ms__experiencer(V__PROC,V__ORG)) s__=>s__instance(V__ORG,s__Organism))) )	Merge.kif 10206-10210	If a process is an instance of biological process and an agent experiences the process, then the agent is an instance of organism
( ! [V__BIO,V__PROC] : (s__instance(V__BIO,s__Object)s__=>((s__instance(V__PROC,s__TherapeuticProcess)s__and__ms__patient(V__PROC,V__BIO)) s__=>(s__instance(V__BIO,s__Organism)s__or__m(s__exists__m[V__ORG] : (s__instance(V__ORG,s__Organism)s__and__ms__part(V__BIO,V__ORG)))))) )	Merge.kif 12176-12185	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 159-171	If a physical is an instance of OrganismRemains and an entity is a part of the physical holds during a time position, then there exist another physical and a time interval 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 interval is an instance of time interval and the time interval finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time interval
( ! [V__OBJ,V__VIRUS] : (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__VIRUS,s__Virus)s__and__ms__inhabits(V__VIRUS,V__OBJ)) s__=>s__instance(V__OBJ,s__Organism))) )	Merge.kif 14549-14553	If an organism is an instance of virus and the organism lives in an object, then the object is an instance of organism
( ! [V__FOOD] : (s__instance(V__FOOD,s__Object)s__=>(s__attribute(V__FOOD,s__RawAttribute)s__=>s__instance(V__FOOD,s__FoodForFn(s__Organism)))) )	Mid-level-ontology.kif 19268-19270	If raw is an attribute of an object, then the object is an instance of food for organism
( ! [V__AGENT] : (s__instance(V__AGENT,s__ChemicalAgent)s__=>(s__not__m(s__exists__m[V__ORGANISM,V__PROCESS,V__SUBSTANCE] : (s__instance(V__SUBSTANCE,s__Object)s__and__m(s__instance(V__ORGANISM,s__Organism)s__and__ms__instance(V__PROCESS,s__BiologicalProcess)s__and__ms__instrument(V__PROCESS,V__ORGANISM) s__and__ms__result(V__PROCESS,V__SUBSTANCE) s__and__ms__copy(V__SUBSTANCE,V__AGENT)))))) )	WMD.kif 459-468	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 15066-15072	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 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 a third entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18665-18671	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
( ! [V__COOK] : (s__instance(V__COOK,s__Cooking)s__=>(s__exists__m[V__FOOD] : (s__instance(V__FOOD,s__FoodForFn(s__Organism)) s__and__ms__result(V__COOK,V__FOOD)))) )	Merge.kif 12790-12795	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
( ! [V__COVER] : (s__instance(V__COVER,s__BodyCovering)s__=>(s__exists__m[V__BODY] : (s__superficialPart(V__COVER,V__BODY) s__and__m(s__instance(V__BODY,s__Organism)s__or__ms__instance(V__BODY,s__BodyPart))))) )	Merge.kif 15218-15225	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
( ! [V__MOTION] : (s__instance(V__MOTION,s__BodyMotion)s__=>(s__exists__m[V__AGENT] : (s__instance(V__AGENT,s__Organism)s__and__ms__agent(V__MOTION,V__AGENT)))) )	Merge.kif 11083-11088	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 15105-15111	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
( ! [V__POISON] : (s__instance(V__POISON,s__Poisoning)s__=>(s__exists__m[V__THING] : (s__patient(V__POISON,V__THING) s__and__m(s__instance(V__THING,s__Organism)s__or__ms__instance(V__THING,s__AnatomicalStructure))))) )	Merge.kif 10498-10505	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
( ! [V__PROC] : (s__instance(V__PROC,s__BiologicalProcess)s__=>(s__exists__m[V__OBJ] : (s__instance(V__OBJ,s__Organism)s__and__ms__eventLocated(V__PROC,V__OBJ)))) )	Merge.kif 10199-10204	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
( ! [V__PROC] : (s__instance(V__PROC,s__Excretion)s__=>(s__exists__m[V__ORG,V__WASTE,V__PART] : (s__instance(V__ORG,s__Organism)s__and__ms__agent(V__PROC,V__ORG) s__and__ms__patient(V__PROC,V__WASTE) s__and__ms__instance(V__WASTE,s__Excrement)s__and__ms__instance(V__PART,s__BodyPart)s__and__ms__instrument(V__PROC,V__PART)))) )	Mid-level-ontology.kif 2577-2586	If a process is an instance of excretion, then there exist an agent, an entity and an object such that the agent is an instance of organism and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of excrement and the object is an instance of body part and the object is an instrument for the process
( ! [V__SPECIES] : (s__instance(V__SPECIES,s__BiologicalSpecies)s__=>s__subclass(V__SPECIES,s__Organism)) )	Mid-level-ontology.kif 8881-8883	If a set or class is an instance of biological species, then the set or class is a subclass of organism
( ! [V__STUFF] : (s__instance(V__STUFF,s__Tissue)s__=>(s__exists__m[V__ORGANISM] : (s__instance(V__ORGANISM,s__Organism)s__and__ms__part(V__STUFF,V__ORGANISM)))) )	Merge.kif 15294-15299	If an object is an instance of tissue, then there exists another object such that the other object is an instance of organism and the object is a part of the other object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: