TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Microorganism ChineseLanguage "这是一种只能在显微镜的辅助下，才能看得见的 Organism。")	chinese_format.kif 3394-3395
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.")	Merge.kif 14498-14499
(externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg")	pictureList.kif 866-866
(subclass Microorganism Organism)	Merge.kif 14497-14497	Microorganism is a subclass of organism

appearance as argument number 2

(subclass Bacterium Microorganism)	Merge.kif 14501-14501	Bacterium is a subclass of microorganism
(subclass MalarialPlasmodium Microorganism)	WMD.kif 1614-1614	Malarial plasmodium is a subclass of microorganism
(subclass Protozoa Microorganism)	Mid-level-ontology.kif 6261-6261	Protozoa is a subclass of microorganism
(subclass Virus Microorganism)	Merge.kif 14524-14524	Virus is a subclass of microorganism
(termFormat ChineseLanguage Microorganism "微生物")	chinese_format.kif 973-973
(termFormat EnglishLanguage Microorganism "microorganism")	english_format.kif 1153-1153
(termFormat FrenchLanguage Microorganism "microorganisme")	french_format.kif 650-650
(termFormat Hindi Microorganism "sUkshmajIva")	terms-hindi.txt 181-181
(termFormat ItalianLanguage Microorganism "Microorganismo")	terms-it.txt 184-184
(termFormat JapaneseLanguage Microorganism "微生物")	japanese_format.kif 2334-2334
(termFormat PortugueseLanguage Microorganism "Microorganismo")	portuguese_format.kif 602-602
(termFormat cz Microorganism "microorganism")	terms-cz.txt 218-218
(termFormat ro Microorganism "microorganism")	relations-ro.kif 671-671
(termFormat tg Microorganism "maliit na nilalang")	terms-tg.txt 185-185

appearance as argument number 3

(domainSubclass InfectionFn 1 Microorganism)

Medicine.kif 2000-2000

The number 1 argument of InfectionFn is a subclass of microorganism

appearance as argument number 5

(partition Organism Animal Plant Fungus Microorganism)

Merge.kif 14403-14403

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

consequent

(=> (and (instance ?I InfectiousDisease) (attribute ?A ?I)) (exists (?P ?O) (and (instance ?P PathologicProcess) (agent ?P ?O) (instance ?O Microorganism) (experiencer ?P ?A))))	Mid-level-ontology.kif 5824-5833	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
(=> (instance ?DISEASE NonspecificDisease) (not (exists (?AGENT) (and (instance ?AGENT Microorganism) (forall (?VICTIM) (=> (attribute ?VICTIM ?DISEASE) (located ?AGENT ?VICTIM)))))))	Mid-level-ontology.kif 5798-5807	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
(=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C))))	Food.kif 3547-3554	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: