Organism - Sigma Knowledge base Browser

appearance as argument number 1

s__disjoint(s__Organism,s__Artifact)	Merge.kif 13294-13294	Organism is disjoint from artifact
s__documentation(s__Organism,s__ChineseLanguage,'"这通常是指有生命的个体，包括所有的 Plant 和 Animal。"')	chinese_format.kif 3372-3372
s__documentation(s__Organism,s__EnglishLanguage,'"Generally, a living individual, including all Plants and Animals."')	Merge.kif 13296-13297
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
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg"')	pictureList.kif 7485-7485
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg"')	pictureList.kif 7486-7486
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg"')	pictureList.kif 7487-7487
s__externalImage(s__Organism,'"http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg"')	pictureList.kif 7489-7489
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)	Merge.kif 13295-13295	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 13293-13293	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 13292-13292	Organism is a subclass of organic object

appearance as argument number 2

s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)	Merge.kif 13286-13286	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 13384-13384	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 13363-13363	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 13389-13389	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 13337-13337	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
s__termFormat(s__EnglishLanguage,s__Organism,'"organism"')	english_format.kif 1140-1140

appearance as argument number 3

s__domain(s__ancestor__m,n__1,s__Organism)	Merge.kif 15152-15152	The number 1 argument of ancestor is an instance of organism
s__domain(s__ancestor__m,n__2,s__Organism)	Merge.kif 15153-15153	The number 2 argument of ancestor is an instance of organism
s__domain(s__daughter__m,n__1,s__Organism)	Merge.kif 15240-15240	The number 1 argument of daughter is an instance of organism
s__domain(s__daughter__m,n__2,s__Organism)	Merge.kif 15241-15241	The number 2 argument of daughter is an instance of organism
s__domain(s__familyRelation__m,n__1,s__Organism)	Merge.kif 15135-15135	The number 1 argument of family relation is an instance of organism
s__domain(s__familyRelation__m,n__2,s__Organism)	Merge.kif 15136-15136	The number 2 argument of family relation is an instance of organism
s__domain(s__father__m,n__1,s__Organism)	Merge.kif 15228-15228	The number 1 argument of father is an instance of organism
s__domain(s__father__m,n__2,s__Organism)	Merge.kif 15229-15229	The number 2 argument of father is an instance of organism
s__domain(s__inhabits__m,n__1,s__Organism)	Merge.kif 13308-13308	The number 1 argument of inhabits is an instance of organism
s__domain(s__mother__m,n__1,s__Organism)	Merge.kif 15211-15211	The number 1 argument of mother is an instance of organism
s__domain(s__mother__m,n__2,s__Organism)	Merge.kif 15212-15212	The number 2 argument of mother is an instance of organism
s__domain(s__parasite__m,n__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,n__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,n__1,s__Organism)	Merge.kif 15167-15167	The number 1 argument of parent is an instance of organism
s__domain(s__parent__m,n__2,s__Organism)	Merge.kif 15168-15168	The number 2 argument of parent is an instance of organism
s__domain(s__relative__m,n__1,s__Organism)	Merge.kif 15114-15114	The number 1 argument of relative is an instance of organism
s__domain(s__relative__m,n__2,s__Organism)	Merge.kif 15115-15115	The number 2 argument of relative is an instance of organism
s__domain(s__sibling__m,n__1,s__Organism)	Merge.kif 15267-15267	The number 1 argument of sibling is an instance of organism
s__domain(s__sibling__m,n__2,s__Organism)	Merge.kif 15268-15268	The number 2 argument of sibling is an instance of organism
s__domain(s__son__m,n__1,s__Organism)	Merge.kif 15252-15252	The number 1 argument of son is an instance of organism
s__domain(s__son__m,n__2,s__Organism)	Merge.kif 15253-15253	The number 2 argument of son is an instance of organism
s__domainSubclass(s__AgentOfOrganismFn__m,n__1,s__Organism)	WMD.kif 87-87	The number 1 argument of AgentOfOrganismFn is a subclass of organism
s__domainSubclass(s__DeadFn__m,n__1,s__Organism)	Mid-level-ontology.kif 234-234	The number 1 argument of DeadFn is a subclass of organism
s__domainSubclass(s__FarmOfProductFn__m,n__1,s__Organism)	Food.kif 1090-1090	The number 1 argument of FarmOfProductFn is a subclass of organism
s__domainSubclass(s__FoodForFn__m,n__1,s__Organism)	Merge.kif 13784-13784	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 15127-15132	If an entity と another entity 間での legal relation は %n 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__part(V__BODY,V__ORG) & s__instance(V__ORG,s__Organism)) => s__attribute(V__ORG,s__Female) ) )	Merge.kif 16771-16776	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 9602-9617	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 207-216	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 195-204	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 1792-1807	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 542-556	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 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 16743-16747	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__REM,V__ORG,V__DEATH,V__ORGTYPE] : ((s__instance(V__ORG,s__Agent) & s__instance(V__ORG,s__SetOrClass) & s__subclass(V__ORGTYPE,s__Organism) & s__instance(V__ORGTYPE,s__SetOrClass)) => (s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__ORG) & s__instance(V__ORG,V__ORGTYPE) & s__subclass(V__ORG,s__Organism) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__DeadFn(V__ORGTYPE)) ) )	Mid-level-ontology.kif 250-258	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__ORG,V__DEATH] : ((s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__instance(V__ORG,s__Organism) & s__experiencer(V__DEATH,V__ORG) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__OrganismRemains) ) )	Mid-level-ontology.kif 177-184	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__ANIMAL,V__STRUCTURE] : ((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) & s__instance(V__ANIMAL,s__Organism) & s__part(V__STRUCTURE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal) ) )	Merge.kif 13900-13905	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__PLANT,V__STRUCTURE] : ((s__instance(V__STRUCTURE,s__PlantAnatomicalStructure) & s__instance(V__PLANT,s__Organism) & s__part(V__STRUCTURE,V__PLANT)) => s__instance(V__PLANT,s__Plant) ) )	Merge.kif 13911-13916	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__instance(V__ANIMAL,s__Organism) & s__part(V__SUBSTANCE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal) ) )	Merge.kif 13742-13747	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__PLANT,V__SUBSTANCE] : ((s__instance(V__SUBSTANCE,s__PlantSubstance) & s__instance(V__PLANT,s__Organism) & s__part(V__SUBSTANCE,V__PLANT)) => s__instance(V__PLANT,s__Plant) ) )	Merge.kif 13753-13758	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__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => (s__parent(V__CHILD,V__PARENT) & s__subclass(V__CLASS,s__Organism) & s__instance(V__PARENT,V__CLASS)) => s__instance(V__CHILD,V__CLASS) ) )	Merge.kif 15181-15186	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) => ( ? [V__ATTR] : ((s__instance(V__ATTR,s__AnimacyAttribute) & s__attribute(V__ORG,V__ATTR)))) ) )	Merge.kif 16755-16760	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
( ! [V__ORG] : (s__instance(V__ORG,s__Organism) => ( ? [V__ATTR] : ((s__instance(V__ATTR,s__DevelopmentalAttribute) & s__attribute(V__ORG,V__ATTR)))) ) )	Merge.kif 16812-16817	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 219-222	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) => ( ? [V__BIRTH] : ((s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__ORGANISM)))) ) )	Merge.kif 13299-13304	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) => ( ? [V__PARENT] : ((s__instance(V__PARENT,s__Organism) & s__parent(V__ORGANISM,V__PARENT)))) ) )	Merge.kif 15198-15201	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__instance(V__INJ,s__Damaging) & ( ? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__ORGANISM)))))) & ((s__instance(V__INJ,s__Damaging) & ( ? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__ORGANISM))))) => s__instance(V__INJ,s__Injuring)) ) )	Merge.kif 9795-9802	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__instance(V__ACT,s__Ingesting) & s__resource(V__ACT,V__FOOD)) => s__instance(V__FOOD,s__FoodForFn(s__Organism)) ) )	Merge.kif 9631-9635	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__OBJ,V__ATTACK] : ((s__instance(V__ATTACK,s__BiochemicalAttack) & s__patient(V__ATTACK,V__OBJ)) => 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__instance(V__BACTERIUM,s__Bacterium) & s__inhabits(V__BACTERIUM,V__OBJ)) => s__instance(V__OBJ,s__Organism) ) )	Merge.kif 13410-13414	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
( ! [V__CHEW,V__FOOD] : (s__instance(V__FOOD,s__Object) => (s__instance(V__CHEW,s__Chewing) & s__resource(V__CHEW,V__FOOD)) => s__instance(V__FOOD,s__FoodForFn(s__Organism)) ) )	Mid-level-ontology.kif 9778-9782	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__instance(V__FUNGUS,s__Fungus) & s__inhabits(V__FUNGUS,V__OBJ)) => s__instance(V__OBJ,s__Organism) ) )	Merge.kif 13369-13373	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__instance(V__KILL,s__Killing) & s__agent(V__KILL,V__AGENT) & s__patient(V__KILL,V__PATIENT)) => (s__instance(V__AGENT,s__Organism) & s__instance(V__PATIENT,s__Organism)) ) )	Merge.kif 11399-11406	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__instance(V__PROC,s__BiologicalProcess) & s__experiencer(V__PROC,V__ORG)) => s__instance(V__ORG,s__Organism) ) )	Merge.kif 9532-9536	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__instance(V__PROC,s__TherapeuticProcess) & s__patient(V__PROC,V__BIO)) => (s__instance(V__BIO,s__Organism) \| ( ? [V__ORG] : ((s__instance(V__ORG,s__Organism) & s__part(V__BIO,V__ORG))))) ) )	Merge.kif 11347-11356	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-170	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
( ! [V__VIRUS,V__OBJ] : (s__instance(V__OBJ,s__Object) => (s__instance(V__VIRUS,s__Virus) & s__inhabits(V__VIRUS,V__OBJ)) => s__instance(V__OBJ,s__Organism) ) )	Merge.kif 13422-13426	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__attribute(V__FOOD,s__RawAttribute) => s__instance(V__FOOD,s__FoodForFn(s__Organism)) ) )	Food.kif 34-36	If raw food is an attribute of an object, then the object is an instance of food for organism
( ! [V__AGENT] : (s__instance(V__AGENT,s__ChemicalAgent) => ~(( ? [V__ORGANISM, V__PROCESS, V__SUBSTANCE] : ((s__instance(V__SUBSTANCE,s__Object) & (s__instance(V__ORGANISM,s__Organism) & s__instance(V__PROCESS,s__BiologicalProcess) & s__instrument(V__PROCESS,V__ORGANISM) & s__result(V__PROCESS,V__SUBSTANCE) & s__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 13847-13853	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 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 16895-16901	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) => ( ? [V__FOOD] : ((s__instance(V__FOOD,s__FoodForFn(s__Organism)) & s__result(V__COOK,V__FOOD)))) ) )	Merge.kif 11891-11896	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) => ( ? [V__BODY] : ((s__superficialPart(V__COVER,V__BODY) & (s__instance(V__BODY,s__Organism) \| s__instance(V__BODY,s__BodyPart))))) ) )	Merge.kif 13976-13983	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) => ( ? [V__AGENT] : ((s__instance(V__AGENT,s__Organism) & s__agent(V__MOTION,V__AGENT)))) ) )	Merge.kif 10357-10362	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 13881-13887	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) => ( ? [V__THING] : ((s__patient(V__POISON,V__THING) & (s__instance(V__THING,s__Organism) \| s__instance(V__THING,s__AnatomicalStructure))))) ) )	Merge.kif 9811-9818	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) => ( ? [V__OBJ] : ((s__instance(V__OBJ,s__Organism) & s__eventLocated(V__PROC,V__OBJ)))) ) )	Merge.kif 9525-9530	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) => ( ? [V__ORG, V__WASTE, V__PART] : ((s__instance(V__ORG,s__Organism) & s__agent(V__PROC,V__ORG) & s__patient(V__PROC,V__WASTE) & s__instance(V__WASTE,s__Excrement) & s__instance(V__PART,s__BodyPart) & s__instrument(V__PROC,V__PART)))) ) )	Mid-level-ontology.kif 2572-2581	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__subclass(V__SPECIES,s__Organism) ) )	Mid-level-ontology.kif 8884-8886	If a set or class is an instance of biological species, then the set or class is a subclass of organism

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: