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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InflammationFn

Sigma KEE - InflammationFn
InflammationFn

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


(documentation InflammationFn EnglishLanguage "Inflammation of a specific BodyPart.") Mid-level-ontology.kif 11888-11889
(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 11886-11886
(instance InflammationFn UnaryFunction) Mid-level-ontology.kif 11885-11885
(range InflammationFn Inflammation) Mid-level-ontology.kif 11887-11887

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


(format EnglishLanguage InflammationFn "inflammation of %1") Mid-level-ontology.kif 11891-11891
(termFormat EnglishLanguage InflammationFn "inflammation") Mid-level-ontology.kif 11890-11890

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


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))
Mid-level-ontology.kif 5701-5707
(=>
    (attribute ?H Pneumonia)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn Lung))
            (experiencer ?I ?H))))
Mid-level-ontology.kif 5887-5893

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