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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeThreateningAgent

Sigma KEE - LifeThreateningAgent
LifeThreateningAgent(危及生命的特工)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1010-1011
No TPTP formula. May not be expressible in strict first order. WMD.kif 1009-1009 危及生命的特工生化剂subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 肉毒杆菌毒素危及生命的特工subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 葡萄球菌肠毒素b危及生命的特工subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34349-34349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34348-34348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34347-34347

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1013-1015

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1017-1023
No TPTP formula. May not be expressible in strict first order. WMD.kif 1035-1040
No TPTP formula. May not be expressible in strict first order. WMD.kif 1393-1396
No TPTP formula. May not be expressible in strict first order. WMD.kif 1381-1384
No TPTP formula. May not be expressible in strict first order. WMD.kif 1371-1374
No TPTP formula. May not be expressible in strict first order. WMD.kif 2019-2022
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