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 Breathing 是 窒息劑 的 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 子類 窒息劑 and 化學劑

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 623-623 子類 氯氣 and 窒息劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 613-613 子類 氯化苦 and 窒息劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 609-609 子類 雙光氣 and 窒息劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 618-618 子類 光氣 and 窒息劑
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