Organism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14257-14257	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14261-14261
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14259-14260
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485	"http://upload.wikimedia.org/wikipedia/commons/a/a1/ Ericoid_mycorrhizal_fungus.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7486-7486	"http://upload.wikimedia.org/wikipedia/commons/c/c0/ Stromatolites.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7487-7487	"http://upload.wikimedia.org/wikipedia/commons/d/d4/ Fungi_in_Borneo.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7489-7489	"http://upload.wikimedia.org/wikipedia/commons/f/f8/ Elephant-ear-sponge.jpg" is a URL depicting organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14258-14258	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14256-14256	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14255-14255	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 14246-14246	Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14367-14367	Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14340-14340	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 14374-14374	Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	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	"生物" is the printable form of organism in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 651-651	"organism" is the printable form of organism in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641	"organisme" is the printable form of organism in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172	"jIvadhaarI padaartha" is the printable form of organism in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 173-173	"Organismo" is the printable form of organism in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593	"Organismo" is the printable form of organism in portuguese language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 377-377	"كَائِن حَيّ" is the printable form of organism in ar
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209	"organism" is the printable form of organism in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176	"kinapal" is the printable form of organism in tg

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16442-16442	The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16443-16443	The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16529-16529	The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16530-16530	The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16422-16422	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 16423-16423	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 16515-16515	The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16516-16516	The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14272-14272	The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16501-16501	The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16502-16502	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 6091-6091	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 6092-6092	The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16460-16460	The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16461-16461	The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16397-16397	The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16398-16398	The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16560-16560	The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16561-16561	The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16543-16543	The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16544-16544	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 235-235	The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Food.kif 1135-1135	The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14857-14857	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 16413-16418	If there is a legal relation between a human and another human holds during an entity and the human is an instance of organism and the other human is an instance of organism, then the other human is a relative of the human holds during the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18388-18393	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 10142-10157	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 object such that the object is a result of the process and the object is an instance of organic object and dead is an attribute of the object holds during after the time of existence of the process and if another object is a part of the object holds during immediately after the time of existence of the process, then the other object 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 object is an instance of OrganismRemains and an agent is an instance of organism and another object is a part of the object holds during a time interval and the other object 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 object 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 object is an instance of OrganismRemains and an agent is an instance of organism and another object is a part of the object holds during a time interval and the other object is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the object 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 process as a instrument
No TPTP formula. May not be expressible in strict first order.	Food.kif 587-601	If an agent is an instance of organism and an object is an instance of egg and embryonic is an attribute of the agent and the agent is a part of the object, then there exists another object such that the other object is an instance of EggYolk and the other object has purpose there exists a process such that the process is an instance of ingesting and the agent is an agent of the process and the other object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18357-18361	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14989-14994	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 15002-15007	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 14808-14813	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 14820-14825	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 16476-16481	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18370-18375	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18435-18440	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 an object is an instance of organism, then living is an attribute of the object holds during the time of existence of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14263-14268	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 16493-16496	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.	Merge.kif 10343-10350	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10172-10176	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
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 14398-14402	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 9763-9767	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 14348-14352	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.	Merge.kif 12099-12106	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 10068-10072	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 12039-12048	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 an object is an instance of OrganismRemains and another object is a part of the object holds during an entity, then there exist a third object and a time interval such that the third object is an instance of organism and the time of existence of the third object happens earlier than the time of existence of the object and the time interval is an instance of time interval and the time interval finishes the time of existence of the third object and the other object is a part of the third object holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14412-14416	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.	Mid-level-ontology.kif 18849-18851	If raw 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 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 14929-14935	If an object is an instance of anatomical structure, then there exist another object and a time position such that the other object is an instance of organism and the time position is a part of the time of existence of the other object and the object is a part of the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a process is an instance of biochemical attack, then the process has purpose there exist another process and an entity such that the other process is an instance of damaging and the entity is a patient of the other process and the process causes the other process and another entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18527-18533	If an entity is an instance of psychological attribute, then if the entity is an attribute of an object holds during another entity and the object is an instance of organism, then living is an attribute of the object holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12653-12658	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 15081-15088	If an object is an instance of body covering, then there exists an entity such that the object is a superficial part of the entity and the entity is an instance of organism or the entity is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Society.kif 1319-1323	If an entity is an instance of FoodArtifact, then the entity is an instance of food for organism or the entity is an instance of PackagedFoodArtifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10945-10950	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 14968-14974	If a corpuscular object is an instance of body part, then there exist another corpuscular object and a time position such that the other corpuscular object is an instance of organism and the time position is a part of the time of existence of the other corpuscular object and the corpuscular object is a component of the other corpuscular object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10360-10367	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 10061-10066	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8869-8871	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: