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



KB Term:  Term intersection
English Word: 

Sigma KEE - InhalationalAnthrax
InhalationalAnthrax(inhalational anthrax)

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


(subAttribute InhalationalAnthrax Anthrax) WMD.kif 1141-1141 Inhalational anthrax is a subattribute of anthrax
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1142-1142 Inhalational anthrax is an instance of life threatening disease
(documentation InhalationalAnthrax EnglishLanguage "Almost 100% fatal if left untreated for more than 24 hours.") WMD.kif 1143-1144 Inhalational anthrax is an instance of life threatening disease

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


(biochemicalAgentSyndrome AerosolizedBacillusAnthracis InhalationalAnthrax) WMD.kif 287-287 Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis
(termFormat EnglishLanguage InhalationalAnthrax "inhalational anthrax") domainEnglishFormat.kif 30081-30081 Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis
(termFormat ChineseTraditionalLanguage InhalationalAnthrax "吸入性炭疽") domainEnglishFormat.kif 30082-30082 Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis
(termFormat ChineseLanguage InhalationalAnthrax "吸入性炭疽") domainEnglishFormat.kif 30083-30083 Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis

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


(=>
    (attribute ?ORGANISM InhalationalAnthrax)
    (exists (?ANTHRACIS ?BREATHING)
        (and
            (instance ?ANTHRACIS BacillusAnthracis)
            (instance ?BREATHING Breathing)
            (agent ?BREATHING ?ORGANISM)
            (patient ?BREATHING ?ANTHRACIS))))
WMD.kif 1146-1153 If inhalational anthrax is an attribute of X, then there exist Y, Z such that Y is an instance of bacillus anthracis, Z is an instance of breathing, X is an agent of Z, and Y is a patient of Z


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