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 12411-12412
(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 12409-12409 Le nombre 1 argument de InflammationFn est une instance de partie du corps
(instance InflammationFn UnaryFunction) Mid-level-ontology.kif 12408-12408 InflammationFn est une instance de function unaire
(range InflammationFn Inflammation) Mid-level-ontology.kif 12410-12410 Le domaine de InflammationFn est une instance de Inflammation

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


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

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


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))
Mid-level-ontology.kif 6021-6027
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))
Medicine.kif 4389-4395
(=>
    (attribute ?H Pneumonia)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn Lung))
            (experiencer ?I ?H))))
Mid-level-ontology.kif 6207-6213

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