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


KB Term:  Term intersection
English Word: 

Sigma KEE - AntiInflammatory
AntiInflammatory(anti-inflammatory)

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


(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 14031-14031 Anti-inflammatory is a subclass of medicine
(documentation AntiInflammatory EnglishLanguage "A Medicine that is intended to control Inflammation.") Mid-level-ontology.kif 14032-14033 Anti-inflammatory is a subclass of medicine

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


(termFormat EnglishLanguage AntiInflammatory "anti-inflammatory") Mid-level-ontology.kif 14034-14034
(subclass NSAID AntiInflammatory) Medicine.kif 3518-3518 Non-steriodal anti-inflammatory is a subclass of anti-inflammatory
(subclass Roflumilast AntiInflammatory) Medicine.kif 3958-3958 Roflumilast is a subclass of anti-inflammatory

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


(=>
    (instance ?N AntiInflammatory)
    (hasPurpose ?N
        (exists (?I ?H ?IN)
            (and
                (instance ?I Inflammation)
                (experiencer ?H ?I)
                (instance ?IN Ingesting)
                (before
                    (BeginFn
                        (WhenFn ?I))
                    (BeginFn
                        (WhenFn ?IN)))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?I))
                    (not
                        (exists (?I2)
                            (and
                                (instance ?I2 Inflammation)
                                (experiencer ?I2 ?H)))))))))		 Mid-level-ontology.kif 14036-14056 If X is an instance of anti-inflammatory, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inflammation (3) Y experiences Z (4) W is an instance of ingesting (5) the beginning of the time of existence of Y happens before the beginning of the time of existence of W (6) there doesn't exist V such that V is an instance of inflammation (7) Z experiences V holds during after the time of existence of Y


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


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