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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BacillusAnthracis
BacillusAnthracis

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


(biochemicalAgentDelivery BacillusAnthracis Breathing) WMD.kif 281-281
(biochemicalAgentDelivery BacillusAnthracis Ingesting) WMD.kif 282-282
(biochemicalAgentDelivery BacillusAnthracis Poking) WMD.kif 283-283
(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284
(biochemicalAgentSyndrome BacillusAnthracis Anthrax) WMD.kif 280-280
(biologicalAgentCarrier BacillusAnthracis HoofedMammal) WMD.kif 285-285
(documentation BacillusAnthracis EnglishLanguage "The Bacterium which causes the disease Anthrax. Humans may become infected with Anthrax via contamination of a wound or by inhaling the Bacterium. When it is inhaled, the disease is often fatal if not treated early (see InhalationalAnthrax).") WMD.kif 286-289
(subclass BacillusAnthracis BacterialAgent) WMD.kif 279-279

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


(termFormat ChineseLanguage BacillusAnthracis "炭疽杆菌") domainEnglishFormat.kif 9501-9501
(termFormat ChineseTraditionalLanguage BacillusAnthracis "炭疽桿菌") domainEnglishFormat.kif 9500-9500
(termFormat EnglishLanguage BacillusAnthracis "bacillus anthracis") domainEnglishFormat.kif 9499-9499

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


(=>
    (attribute ?ORGANISM InhalationalAnthrax)
    (exists (?ANTHRACIS ?BREATHING)
        (and
            (instance ?ANTHRACIS BacillusAnthracis)
            (instance ?BREATHING Breathing)
            (agent ?BREATHING ?ORGANISM)
            (patient ?BREATHING ?ANTHRACIS))))
WMD.kif 1136-1143
(=>
    (instance ?X AerosolizedBacillusAnthracis)
    (exists (?Y)
        (and
            (instance ?Y BacillusAnthracis)
            (part ?Y ?X))))
WMD.kif 297-302


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 is open source software produced by Articulate Software and its partners