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 12438-12439
(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 12436-12436 域 InflammationFn, 1 and BodyPart
(instance InflammationFn UnaryFunction) Mid-level-ontology.kif 12435-12435 例 InflammationFn and UnaryFunction
(range InflammationFn Inflammation) Mid-level-ontology.kif 12437-12437 範圍 InflammationFn and Inflammation

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


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

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


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 6015-6021
(=>
    (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 6201-6207

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