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



KB Term:  Term intersection
English Word: 

  Entity

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 simplified definition (without tree view)
Show simplified definition (with tree view)

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