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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChokingAgent
ChokingAgent(choking agent)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 603-603 Breathing is a biochemical agent delivery of choking agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 604-607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31581-31581 roomTempState choking agent and gas
No TPTP formula. May not be expressible in strict first order. WMD.kif 602-602 Choking agent is a subclass of chemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 623-623 Chlorine gas is a subclass of choking agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 613-613 Chloropicrin is a subclass of choking agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 609-609 Diphosgene is a subclass of choking agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 618-618 Phosgene is a subclass of choking agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14664-14664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14663-14663
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14662-14662


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