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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 危及生命的特工 and 生化劑

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 子類 肉毒桿菌毒素 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 子類 葡萄球菌腸毒素b and 危及生命的特工
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 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