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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BacillusAnthracis
BacillusAnthracis(bacillus anthracis)Bacillus_anthracis, anthrax_bacillus

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


s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Breathing)

WMD.kif 281-281 Breathing is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Ingesting)

WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Poking)

WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Touching)

WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentSyndrome(s__BacillusAnthracis,s__Anthrax)

WMD.kif 280-280 Anthrax is a biochemical agent syndrome of bacillus anthracis
s__biologicalAgentCarrier(s__BacillusAnthracis,s__HoofedMammal)

WMD.kif 285-285 Hoofed mammal is a biological agent carrier of bacillus anthracis
s__documentation(s__BacillusAnthracis,s__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
s__subclass(s__BacillusAnthracis,s__BacterialAgent)

s__instance(s__BacillusAnthracis,s__SetOrClass)

s__instance(s__BacterialAgent,s__SetOrClass)

WMD.kif 279-279 Bacillus anthracis is a subclass of bacterial agent

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


s__termFormat(s__ChineseLanguage,s__BacillusAnthracis,'"炭疽杆菌"')

domainEnglishFormat.kif 9501-9501
s__termFormat(s__ChineseTraditionalLanguage,s__BacillusAnthracis,'"炭疽桿菌"')

domainEnglishFormat.kif 9500-9500
s__termFormat(s__EnglishLanguage,s__BacillusAnthracis,'"bacillus anthracis"')

domainEnglishFormat.kif 9499-9499

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


( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       ((s__attribute(V__ORGANISM,s__InhalationalAnthrax) =>
           (( ? [V__ANTHRACIS, V__BREATHING] :
               ((s__instance(V__ANTHRACIS,s__BacillusAnthracis) &
                   s__instance(V__BREATHING,s__Breathing) &
                   s__agent(V__BREATHING,V__ORGANISM)
                 &
                 s__patient(V__BREATHING,V__ANTHRACIS))))))))
)
)

WMD.kif 1136-1143
( ! [V__X] :
   ((s__instance(V__X,s__AerosolizedBacillusAnthracis) =>
       (( ? [V__Y] :
           ((s__instance(V__Y,s__BacillusAnthracis) &
               s__part(V__Y,V__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