Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  InflammationFn

 Sigma KEE - InflammationFn
InflammationFn

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


(instance InflammationFn UnaryFunction) Mid-level-ontology.kif 14023-14023 Inflammation is an instance of unary function
(domain InflammationFn 1 BodyPart) Mid-level-ontology.kif 14024-14024 The number 1 argument of inflammation is an instance of body part
(rangeSubclass InflammationFn Inflammation) Mid-level-ontology.kif 14025-14025 The values returned by inflammation are subclasses of inflammation
(documentation InflammationFn EnglishLanguage "Inflammation of a specific BodyPart.") Mid-level-ontology.kif 14026-14027 The values returned by inflammation are subclasses of inflammation

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


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

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


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 7140-7146 If bronchitis is an attribute of X, then there exists Y such that Y is an instance of inflammation of bronchial duct and X experiences Y
(=>
    (attribute ?H Pneumonia)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn Lung))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 7326-7332 If pneumonia is an attribute of X, then there exists Y such that Y is an instance of inflammation of lung and X experiences Y
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))		 Medicine.kif 4410-4416 If atopic dermatitis is an attribute of X, then there exists Y such that Y is an instance of inflammation of skin and X experiences Z

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners