Organism - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Organism Artifact)	Merge.kif 13170-13170	disjoint Organism and Artifact
(documentation Organism ChineseLanguage "这通常是指有生命的个体，包括所有的 Plant 和 Animal。")	chinese_format.kif 3372-3372
(documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.")	Merge.kif 13172-13173
(externalImage 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	externalImage Organism and "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg")	pictureList.kif 7485-7485	externalImage Organism and "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg")	pictureList.kif 7486-7486	externalImage Organism and "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg")	pictureList.kif 7487-7487	externalImage Organism and "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg"
(externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant-ear-sponge.jpg")	pictureList.kif 7489-7489	externalImage Organism and "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg"
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 13171-13171	partition Organism, Animal, Plant, Fungus and Microorganism
(subclass Organism Agent)	Merge.kif 13169-13169	subclass Organism and Agent
(subclass Organism OrganicObject)	Merge.kif 13168-13168	subclass Organism and OrganicObject

appearance as argument number 2

(partition OrganicObject Organism AnatomicalStructure)	Merge.kif 13162-13162	partition OrganicObject, Organism and AnatomicalStructure
(subclass Animal Organism)	Merge.kif 13260-13260	subclass Animal and Organism
(subclass Fungus Organism)	Merge.kif 13239-13239	subclass Fungus and Organism
(subclass GeneticallyEngineeredOrganism Organism)	WMD.kif 234-234	subclass GeneticallyEngineeredOrganism and Organism
(subclass Microorganism Organism)	Merge.kif 13265-13265	subclass Microorganism and Organism
(subclass Plant Organism)	Merge.kif 13213-13213	subclass Plant and Organism
(subclass ToxicOrganism Organism)	WMD.kif 187-187	subclass ToxicOrganism and Organism
(termFormat ChineseLanguage Organism "生物")	chinese_format.kif 964-964	termFormat ChineseLanguage, Organism and "生物"
(termFormat EnglishLanguage Organism "organism")	english_format.kif 1140-1140	termFormat EnglishLanguage, Organism and "organism"

appearance as argument number 3

(domain ancestor 1 Organism)	Merge.kif 15027-15027	domain ancestor, 1 and Organism
(domain ancestor 2 Organism)	Merge.kif 15028-15028	domain ancestor, 2 and Organism
(domain daughter 1 Organism)	Merge.kif 15113-15113	domain daughter, 1 and Organism
(domain daughter 2 Organism)	Merge.kif 15114-15114	domain daughter, 2 and Organism
(domain familyRelation 1 Organism)	Merge.kif 15010-15010	domain familyRelation, 1 and Organism
(domain familyRelation 2 Organism)	Merge.kif 15011-15011	domain familyRelation, 2 and Organism
(domain father 1 Organism)	Merge.kif 15101-15101	domain father, 1 and Organism
(domain father 2 Organism)	Merge.kif 15102-15102	domain father, 2 and Organism
(domain inhabits 1 Organism)	Merge.kif 13184-13184	domain inhabits, 1 and Organism
(domain mother 1 Organism)	Merge.kif 15085-15085	domain mother, 1 and Organism
(domain mother 2 Organism)	Merge.kif 15086-15086	domain mother, 2 and Organism
(domain parasite 1 Organism)	Mid-level-ontology.kif 6093-6093	domain parasite, 1 and Organism
(domain parasite 2 Organism)	Mid-level-ontology.kif 6094-6094	domain parasite, 2 and Organism
(domain parent 1 Organism)	Merge.kif 15042-15042	domain parent, 1 and Organism
(domain parent 2 Organism)	Merge.kif 15043-15043	domain parent, 2 and Organism
(domain relative 1 Organism)	Merge.kif 14989-14989	domain relative, 1 and Organism
(domain relative 2 Organism)	Merge.kif 14990-14990	domain relative, 2 and Organism
(domain sibling 1 Organism)	Merge.kif 15140-15140	domain sibling, 1 and Organism
(domain sibling 2 Organism)	Merge.kif 15141-15141	domain sibling, 2 and Organism
(domain son 1 Organism)	Merge.kif 15125-15125	domain son, 1 and Organism
(domain son 2 Organism)	Merge.kif 15126-15126	domain son, 2 and Organism
(domainSubclass AgentOfOrganismFn 1 Organism)	WMD.kif 87-87	domainSubclass AgentOfOrganismFn, 1 and Organism
(domainSubclass DeadFn 1 Organism)	Mid-level-ontology.kif 235-235	domainSubclass DeadFn, 1 and Organism
(domainSubclass FarmOfProductFn 1 Organism)	Food.kif 1134-1134	domainSubclass FarmOfProductFn, 1 and Organism
(domainSubclass FoodForFn 1 Organism)	Merge.kif 13660-13660	domainSubclass FoodForFn, 1 and Organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2)))	Merge.kif 15002-15007	holdsDuring TimePosition and legalRelation Entity and Entity instance Entity and Organism instance Entity and Organism holdsDuring TimePosition and relative Entity and Entity
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female))	Merge.kif 16644-16649	instance Object and ReproductiveBody part Object and Object instance Object and Organism attribute Object and Female
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 9478-9493	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 208-217	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval experiencer Process and Agent result Process and Entity
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 196-205	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and Agent
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1794-1809	instance Device and Gun effectiveRange Device and LengthMeasure distance Device, Object and LengthMeasure instance Object and Organism Object between Object, Object and Device lessThanOrEqualTo LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Killing patient SymbolicString and Object, instrument and Device
(=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y)))))))	Food.kif 586-600	instance Object and Organism instance Object and Egg attribute Object and Embryonic part Object and Object Physical instance Physical and EggYolk hasPurpose Physical and entity instance entity and Ingesting agent entity and Object resource entity and Physical
(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))	Merge.kif 16616-16620	instance Agent and Organism agent Process and Agent holdsDuring WhenFn Process and attribute Agent and Living
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 251-259	instance Entity and OrganicObject instance Process and Death experiencer Process and Agent instance Agent and AgentTYPE subclass Agent and Organism result Process and Entity instance Entity and DeadFn AgentTYPE
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains))	Mid-level-ontology.kif 178-185	instance Entity and OrganicObject instance Process and Death instance Agent and Organism experiencer Process and Agent result Process and Entity instance Entity and OrganismRemains
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 13776-13781	instance Object and AnimalAnatomicalStructure instance Object and Organism part Object and Object instance Object and Animal
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant))	Merge.kif 13787-13792	instance Object and PlantAnatomicalStructure instance Object and Organism part Object and Object instance Object and Plant
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 13618-13623	instance Object and AnimalSubstance instance Object and Organism part Object and Object instance Object and Animal
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant))	Merge.kif 13629-13634	instance Object and PlantSubstance instance Object and Organism part Object and Object instance Object and Plant
(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS))	Merge.kif 15056-15061	parent Organism and Organism subclass SetOrClass and Organism instance Organism and SetOrClass instance Organism and SetOrClass
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR))))	Merge.kif 16628-16633	instance Object and Organism Entity instance Entity and AnimacyAttribute attribute Object and Entity
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR))))	Merge.kif 16685-16690	instance Object and Organism Entity instance Entity and DevelopmentalAttribute attribute Object and Entity
(=> (instance ?ORG Organism) (holdsDuring (WhenFn ?ORG) (attribute ?ORG Living)))	Mid-level-ontology.kif 220-223	instance Physical and Organism holdsDuring WhenFn Physical and attribute Physical and Living
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 13175-13180	instance Agent and Organism Process instance Process and Birth experiencer Process and Agent
(=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT)))	Merge.kif 15073-15076	instance Organism and Organism Organism parent Organism and Organism

consequent

(<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)))))	Merge.kif 9671-9678	instance Process and Injuring instance Process and Damaging Entity instance Entity and Organism patient Process and Entity
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Merge.kif 9507-9511	instance Process and Ingesting resource Process and Object instance Object and FoodForFn Organism
(=> (and (instance ?ATTACK BiochemicalAttack) (patient ?ATTACK ?OBJ)) (instance ?OBJ Organism))	WMD.kif 64-68	instance Process and BiochemicalAttack patient Process and Entity instance Entity and Organism
(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))	Merge.kif 13286-13290	instance Organism and Bacterium inhabits Organism and Object instance Object and Organism
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 9773-9777	instance Process and Chewing resource Process and Object instance Object and FoodForFn Organism
(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 13245-13249	instance Organism and Fungus inhabits Organism and Object instance Object and Organism
(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))	Merge.kif 11275-11282	instance Process and Killing agent Process and Agent patient Process and Entity instance Agent and Organism instance Entity and Organism
(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism))	Merge.kif 9408-9412	instance Process and BiologicalProcess experiencer Process and Agent instance Agent and Organism
(=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG)))))	Merge.kif 11223-11232	instance Process and TherapeuticProcess patient Process and Object instance Object and Organism Object instance Object and Organism part Object and Object
(=> (and (instance ?REM OrganismRemains) (holdsDuring ?T2 (part ?OBJ ?REM))) (exists (?ORG ?T1) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (instance ?T1 TimeInterval) (finishes ?T1 (WhenFn ?ORG)) (holdsDuring ?T1 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 159-171	instance Physical and OrganismRemains holdsDuring TimePosition and part entity and Physical Physical TimeInterval instance Physical and Organism earlier WhenFn Physical and WhenFn Physical instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn Physical holdsDuring TimeInterval and part entity and Physical
(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 13298-13302	instance Organism and Virus inhabits Organism and Object instance Object and Organism
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 19173-19175	attribute Object and RawAttribute instance Object and FoodForFn Organism
(=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT)))))	WMD.kif 459-468	instance Object and ChemicalAgent Object Process and Object instance Object and Organism instance Process and BiologicalProcess instrument Process and Object result Process and Object copy Object and Object
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM)))))	Merge.kif 13723-13729	instance Entity and AnatomicalStructure Physical TimePosition instance Physical and Organism temporalPart TimePosition and WhenFn Physical holdsDuring TimePosition and part Entity and Physical
(=> (instance ?ATTACK BiochemicalAttack) (hasPurpose ?ATTACK (exists (?DAMAGE ?ORGANISM) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?ORGANISM) (causes ?ATTACK ?DAMAGE) (instance ?ORGANISM Organism)))))	WMD.kif 70-78	instance Physical and BiochemicalAttack hasPurpose Physical and entity entity instance entity and Damaging patient entity and entity causes Physical and entity instance entity and Organism
(=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))	Merge.kif 16768-16774	instance Entity and PsychologicalAttribute holdsDuring TimePosition and attribute Entity and Entity instance Entity and Organism holdsDuring TimePosition and attribute Entity and Living
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Organism)) (result ?COOK ?FOOD))))	Merge.kif 11767-11772	instance Process and Cooking Entity instance Entity and FoodForFn Organism result Process and Entity
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart)))))	Merge.kif 13852-13859	instance Object and BodyCovering Object superficialPart Object and Object instance Object and Organism instance Object and BodyPart
(=> (instance ?MOTION BodyMotion) (exists (?AGENT) (and (instance ?AGENT Organism) (agent ?MOTION ?AGENT))))	Merge.kif 10233-10238	instance Process and BodyMotion Agent instance Agent and Organism agent Process and Agent
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM)))))	Merge.kif 13757-13763	instance Entity and BodyPart Physical TimePosition instance Physical and Organism temporalPart TimePosition and WhenFn Physical holdsDuring TimePosition and component Entity and Physical
(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))	Merge.kif 9687-9694	instance Process and Poisoning Entity patient Process and Entity instance Entity and Organism instance Entity and AnatomicalStructure
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ))))	Merge.kif 9401-9406	instance Process and BiologicalProcess Entity instance Entity and Organism eventLocated Process and Entity
(=> (instance ?PROC Excretion) (exists (?ORG ?WASTE ?PART) (and (instance ?ORG Organism) (agent ?PROC ?ORG) (patient ?PROC ?WASTE) (instance ?WASTE Excrement) (instance ?PART BodyPart) (instrument ?PROC ?PART))))	Mid-level-ontology.kif 2574-2583	instance Process and Excretion Agent Entity and Object instance Agent and Organism agent Process and Agent patient Process and Entity instance Entity and Excrement instance Object and BodyPart instrument Process and Object
(=> (instance ?SPECIES BiologicalSpecies) (subclass ?SPECIES Organism))	Mid-level-ontology.kif 8879-8881	instance SetOrClass and BiologicalSpecies subclass SetOrClass and Organism
(=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM))))	Merge.kif 13915-13920	instance Object and Tissue Object instance Object and Organism part Object and 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: