|
|
   Microorganism
|
|
|
| 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 14452-14453 | |
| (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 14451-14451 | Microorganismo è una sottoclasse di Organismo |
| appearance as argument number 2 |
|
|
| (subclass Bacterium Microorganism) | Merge.kif 14455-14455 | Bacterio è una sottoclasse di Microorganismo |
| (subclass MalarialPlasmodium Microorganism) | WMD.kif 1614-1614 | MalarialPlasmodium è una sottoclasse di Microorganismo |
| (subclass Protozoa Microorganism) | Mid-level-ontology.kif 6267-6267 | Protozoa è una sottoclasse di Microorganismo |
| (subclass Virus Microorganism) | Merge.kif 14478-14478 | Virus è una sottoclasse di Microorganismo |
| (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 | Il numero 1 argomento InfectionFn è una sottoclasse diMicroorganismo |
| appearance as argument number 5 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14357-14357 | Organismo è esaustivamente partizionato in Animale, Pianta, Fungo, + Microorganismo |
| 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 5830-5839 |
|
| (=> (instance ?DISEASE NonspecificDisease) (not (exists (?AGENT) (and (instance ?AGENT Microorganism) (forall (?VICTIM) (=> (attribute ?VICTIM ?DISEASE) (located ?AGENT ?VICTIM))))))) |
Mid-level-ontology.kif 5804-5813 |
|
| (=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C)))) |
Food.kif 3547-3554 |
|
|
|
