Organism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14494-14494	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14496-14497	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6746-6746	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7482-7482	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7483-7483	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7486-7486	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14495-14495	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14493-14493	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14492-14492	Organism is a subclass of organic object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32080-32080	Inhabitant is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14486-14486	Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14584-14584	Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14736-14736	Carnivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21697-21697	Fungivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14563	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.	Mid-level-ontology.kif 21666-21666	Herbivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14589-14589	Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21681-21681	Omnivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6844-6844	Parasite is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14537-14537	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	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 175-175	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2325-2325	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 468-468	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 662-662	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176	Toxic organism is a subclass of organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33433-33433	The number 1 argument of population of organisms is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16510-16510	The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16511-16511	The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 495-495	The number 1 argument of core body temp is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16598-16598	The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16599-16599	The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16492-16492	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 16493-16493	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 16586-16586	The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16587-16587	The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 682-682	The number 1 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 683-683	The number 2 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 668-668	The number 1 argument of fathers brothers son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 669-669	The number 2 argument of fathers brothers son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 612-612	The number 1 argument of fathers brothers wife is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 613-613	The number 2 argument of fathers brothers wife is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 738-738	The number 1 argument of fathers sisters daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 739-739	The number 2 argument of fathers sisters daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 640-640	The number 1 argument of fathers sisters husband is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 641-641	The number 2 argument of fathers sisters husband is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 724-724	The number 1 argument of fathers sisters son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 725-725	The number 2 argument of fathers sisters son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14508-14508	The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 599-599	The number 1 argument of maternal aunt is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 600-600	The number 2 argument of maternal aunt is an instance 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 16484-16489	If there is a legal relation between an entity and another entity holds during a time position and the entity is an instance of organism and the other entity is an instance of organism, then the other entity is a relative of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18290-18295	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 10347-10362	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another 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 the other 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 85-94	If a process is an instance of death and an entity is an instance of organism remains 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 74-83	If a process is an instance of death and an entity is an instance of organism remains 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 1633-1652	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10572-10577	If a process is an instance of damaging and an entity is an instance of organism and the entity is a patient of the process, then the process is an instance of injuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 2555-2569	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 egg yolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18257-18261	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.	Economy.kif 5551-5563	If an entity is an instance of forest product and a process is an instance of manufacture and the entity is a result of the process and another entity is a patient of the process and the other entity is an instance of organism, then there exist another process and an object such that the other process is an instance of agriculture and the other entity is a result of the other process and the other process is located at the object and the object is an instance of forest
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6495-6504	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6482-6493	If an entity is an instance of shedding part and the entity an object and another object and the object is an instance of organism and the other object is an instance of anatomical structure and the other object is a part of the object, then there exists a process such that the process is an instance of removing and the process originates at the object and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	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 organism remains
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15138-15143	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 15149-15154	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 14954-14959	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 14965-14970	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 16539-16544	If an organism is a parent of another organism and a class is a subclass of organism and the organism is an instance of the class, then the other organism is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25954-25956	If an object is an instance of organism, then mortal is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10279-10281	If an object is an instance of organism, then the object is capable of doing biological process as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12458-12460	If an object is an instance of organism, then the object is capable of doing killing as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12462-12464	If an object is an instance of organism, then the object is capable of doing killing as a patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10274-10277	If an object is an instance of organism, then the object is not capable of doing biological process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18269-18274	If an object is an instance of organism, then there exists an attribute such that the attribute is an instance of animacy attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18331-18336	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10377-10383	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	If a process is an instance of biochemical attack and an entity is a patient of the process, then the entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14610-14614	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 12903-12907	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 14569-14573	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6803-6815	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12431-12438	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 10268-10272	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 12379-12388	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 45-56	If a physical is an instance of organism remains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14622-14626	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.	Anatomy.kif 2006-2020	If dorsal is an attribute of an object, then there exists a self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and another self connected object is equal to the back of the self connected object and the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	If raw food is an attribute of an object, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25948-25952	If mortal is an attribute of an object, then the object is an instance of organism and the object is capable of doing death as a experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21418-21426	If greedy is an attribute of a cognitive agent, then there exists an entity such that the cognitive agent is an instance of organism and the entity is an instance of physical and the cognitive agent desires the cognitive agent possesses the entity and the statement the cognitive agent possesses the entity doesn't have the modal force of necessity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2027-2041	If ventral is an attribute of an object, then there exist a self connected object and another self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and the other self connected object is equal to the front of the self connected object and the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	If a real number is a disease mortality of a disease or syndrome, then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2049-2064	If a motion is an instance of abducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is a subprocess of moving away from and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2073-2089	If a motion is an instance of adducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and the object is not equal to the third object and the process is an instance of moving towards and the process is a subprocess of the motion and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15059-15065	If an entity is an instance of anatomical structure, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a part of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18443-18449	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

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: