Microorganism - Sigma Knowledge base Browser

appearance as argument number 3

(domainSubclass InfectionFn 1 Microorganism)

The number 1 argument of infection is a subclass of microorganism

appearance as argument number 5

(partition Organism Animal Plant Fungus Microorganism)

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)))))

If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death

consequent

(=> (instance ?DISEASE NonspecificDisease) (not (exists (?AGENT) (and (instance ?AGENT Microorganism) (forall (?VICTIM) (=> (attribute ?VICTIM ?DISEASE) (located ?AGENT ?VICTIM)))))))	Mid-level-ontology.kif 6770-6779	If X is an instance of nonspecific disease, then there doesn't exist Y such that Y is an instance of microorganism and Z X is an attribute of Z Y is located at Z
(=> (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 6796-6805	If X is an instance of infectious disease and X is an attribute of Y, then there exist Z, W such that Z is an instance of pathologic process, W is an agent of Z, W is an instance of microorganism, and Y experiences Z
(=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C))))	Food.kif 3556-3563	If X is an instance of fermentation, then there exist Y, Z such that Y is an instance of carbohydrate, Z is an instance of microorganism, Z is an instrument for X, and Y is a resource for X

(subclass Microorganism Organism)	Merge.kif 14630-14630	Microorganism is a subclass of organism
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.")	Merge.kif 14631-14632	Microorganism is a subclass of organism
(externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg")	pictureList.kif 866-866	Microorganism is a subclass of organism

(subclass Bacterium Microorganism)	Merge.kif 14634-14634	Bacterium is a subclass of microorganism
(subclass Virus Microorganism)	Merge.kif 14657-14657	Virus is a subclass of microorganism
(subclass Protozoa Microorganism)	Mid-level-ontology.kif 7233-7233	Protozoa is a subclass of microorganism
(subclass MalarialPlasmodium Microorganism)	WMD.kif 1610-1610	Malarial plasmodium is a subclass of microorganism
(termFormat EnglishLanguage Microorganism "microorganism")	english_format.kif 1153-1153	Malarial plasmodium is a subclass of microorganism