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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChokingAgent

 Sigma KEE - ChokingAgent
ChokingAgent(窒息剂)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 603-603 呼吸 是 窒息剂 的 biochemical 病毒传递
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 窒息剂 and 加油站
No TPTP formula. May not be expressible in strict first order. WMD.kif 602-602 窒息剂 是 化学剂 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 623-623 氯气 是 窒息剂 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 613-613 氯化苦 是 窒息剂 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 609-609 双光气 是 窒息剂 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 618-618 光气 是 窒息剂 的 subclass
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