TreeView 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 6923-6932	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 6949-6958	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 3585-3592	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 14763-14763	Microorganism is a subclass of organism
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.")	Merge.kif 14764-14765	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 14767-14767	Bacterium is a subclass of microorganism
(subclass Virus Microorganism)	Merge.kif 14790-14790	Virus is a subclass of microorganism
(subclass Protozoa Microorganism)	Mid-level-ontology.kif 7386-7386	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 1157-1157	Malarial plasmodium is a subclass of microorganism