Microorganism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3394-3395
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14605-14606
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 866-866
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14604-14604	Microorganism is a subclass of organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14608-14608	Bacterium is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1614-1614	Malarial plasmodium is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7204-7204	Protozoa is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14631-14631	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 973-973	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1153-1153	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	french_format.kif 650-650	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 181-181	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 184-184	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2334-2334	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 602-602	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 218-218	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 477-477	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 671-671	Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 185-185	Virus is a subclass of microorganism

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2000-2000

The number 1 argument of infection is a subclass of microorganism

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14510-14510

Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 4203-4227

If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism,
then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6767-6776	If an attribute is an instance of infectious disease and the attribute is an attribute of an agent, then there exist a process and another agent such that the process is an instance of pathologic process and the other agent is an agent of the process and the other agent is an instance of microorganism and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6741-6750	If an attribute is an instance of nonspecific disease, then there doesn't exist a physical such that the physical is an instance of microorganism and for all an object if the attribute is an attribute of the object, then the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 3554-3561	If a process is an instance of fermentation, then there exist an object and another object such that the object is an instance of carbohydrate and the other object is an instance of microorganism and the other object is an instrument for the process and the object is a resource for the process

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: