![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Microorganism
|
| appearance as argument number 1 |
|
|
| (subclass Microorganism Organism) | Merge.kif 14763-14763 | |
| (documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.") | Merge.kif 14764-14765 | |
| (externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg") | pictureList.kif 866-866 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass InfectionFn 1 Microorganism) | Medicine.kif 1991-1991 |
| appearance as argument number 5 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14670-14670 |
| antecedent |
|
|
| (=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4743-4767 |
| consequent |
|
|
| (=> (instance ?DISEASE NonspecificDisease) (not (exists (?AGENT) (and (instance ?AGENT Microorganism) (forall (?VICTIM) (=> (attribute ?VICTIM ?DISEASE) (located ?AGENT ?VICTIM))))))) |
Mid-level-ontology.kif 6923-6932 | |
| (=> (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 6949-6958 | |
| (=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C)))) |
Food.kif 3585-3592 |