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


KB Term:  Term intersection
English Word: 

Sigma KEE - AllergicReaction
AllergicReaction(allergic reaction)

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


(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 7338-7338 Allergic reaction is a subclass of pathologic process
(documentation AllergicReaction EnglishLanguage "A reaction by someone who is allergic to some substance coming into contact with it.") Mid-level-ontology.kif 7339-7340 Allergic reaction is a subclass of pathologic process
(pathologyTreatment AllergicReaction Antihistamine Ingesting) Mid-level-ontology.kif 11271-11271 A treatment for allergic reaction is antihistamine administered via ingesting

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


(subclass Anaphylaxis AllergicReaction) Medicine.kif 1520-1520 Anaphylaxis is a subclass of allergic reaction
(subclass AllergicRhinitis AllergicReaction) Medicine.kif 5247-5247 Hay fever is a subclass of allergic reaction
(termFormat EnglishLanguage AllergicReaction "allergic reaction") domainEnglishFormat.kif 64424-64424 Hay fever is a subclass of allergic reaction

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


(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 7350-7363 If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely


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