Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Infecting

Sigma KEE - Infecting
Infecting

appearance as argument number 1
-------------------------


(documentation Infecting EnglishLanguage "The Process (from the perspective of the entity becoming ill) by which an InfectiousDisease enters an Organism and begins Replication.") Mid-level-ontology.kif 5842-5844
(subclass Infecting TakingIll) Mid-level-ontology.kif 5841-5841

appearance as argument number 2
-------------------------


(subclass BreakthroughInfection Infecting) Medicine.kif 3172-3172
(subclass CommunitySpread Infecting) Medicine.kif 3209-3209
(termFormat EnglishLanguage Infecting "infecting") Mid-level-ontology.kif 5845-5845

antecedent
-------------------------


(=>
    (and
        (instance ?I Infecting)
        (experiencer ?I ?H))
    (exists (?T ?R ?O)
        (and
            (instance ?T Translocation)
            (moves ?T ?O)
            (instance ?O Organism)
            (instance ?R Replication)
            (experiencer ?R ?O)
            (subProcess ?T ?I)
            (subProcess ?R ?I))))
Mid-level-ontology.kif 5847-5859

consequent
-------------------------


(=>
    (and
        (instance ?S Sepsis)
        (experiencer ?S ?H))
    (exists (?I)
        (and
            (instance ?I Infecting)
            (experiencer ?I ?H)
            (causes ?I ?S))))
Medicine.kif 5527-5535
(=>
    (and
        (vaccine ?VAC ?VIR)
        (instance ?V Vaccination)
        (experiencer ?V ?H)
        (instance ?VACI ?VAC)
        (objectTransferred ?V ?VACI))
    (hasPurpose ?VACI
        (not
            (exists (?I ?VIRI)
                (and
                    (instance ?I Infecting)
                    (experiencer ?I ?H)
                    (instance ?VIRI ?VIR)
                    (objectTransferred ?I ?VIRI))))))
WMD.kif 1089-1103


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners