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 6760-6769	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 6786-6795	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 14626-14626	Microorganism is a subclass of organism
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.")	Merge.kif 14627-14628	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 14630-14630	Bacterium is a subclass of microorganism
(subclass Virus Microorganism)	Merge.kif 14653-14653	Virus is a subclass of microorganism
(subclass Protozoa Microorganism)	Mid-level-ontology.kif 7223-7223	Protozoa is a subclass of microorganism
(subclass MalarialPlasmodium Microorganism)	WMD.kif 1609-1609	Malarial plasmodium is a subclass of microorganism
(termFormat EnglishLanguage Microorganism "microorganism")	english_format.kif 1153-1153	Malarial plasmodium is a subclass of microorganism