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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeThreateningAgent

Sigma KEE - LifeThreateningAgent
LifeThreateningAgent(life threatening agent)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1003-1004
No TPTP formula. May not be expressible in strict first order. WMD.kif 1002-1002 Life threatening agent is a subclass of biochemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 Botulinum toxin is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1429-1429 Staphylococcal enterotoxin b is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34332-34332
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34331-34331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34330-34330

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1006-1008

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1027-1031
No TPTP formula. May not be expressible in strict first order. WMD.kif 1010-1015
No TPTP formula. May not be expressible in strict first order. WMD.kif 1384-1387
No TPTP formula. May not be expressible in strict first order. WMD.kif 1372-1375
No TPTP formula. May not be expressible in strict first order. WMD.kif 1362-1365
No TPTP formula. May not be expressible in strict first order. WMD.kif 2009-2012
No TPTP formula. May not be expressible in strict first order. WMD.kif 401-404


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