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 LifeThreateningAgent est une sous-classe de BiochemicalAgent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 BotulinumToxin est une sous-classe de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 StaphylococcalEnterotoxinB est une sous-classe de LifeThreateningAgent
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