TreeView Knowledge Base Browser - ChokingAgent

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ChokingAgent

ChokingAgent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	biochemicalAgentDelivery ChokingAgent and Respirar
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 ChokingAgent and Gas
No TPTP formula. May not be expressible in strict first order.	WMD.kif 602-602	ChokingAgent e' uma sub-classe de ChemicalAgent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 623-623	ChlorineGas e' uma sub-classe de ChokingAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 613-613	Chloropicrin e' uma sub-classe de ChokingAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 609-609	Diphosgene e' uma sub-classe de ChokingAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 618-618	Phosgene e' uma sub-classe de ChokingAgent
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 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