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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GSeriesNerveAgent

 Sigma KEE - GSeriesNerveAgent
GSeriesNerveAgent(G系列神經毒劑)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 568-568 不相交的 G系列神經毒劑 and V系列神經毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 569-573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31606-31606 roomTempState G系列神經毒劑 and 液體
No TPTP formula. May not be expressible in strict first order. WMD.kif 567-567 子類 G系列神經毒劑 and 神經毒劑

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 589-589 子類 GF and G系列神經毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 585-585 子類 沙林 and G系列神經毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 580-580 子類 梭曼 and G系列神經毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 575-575 子類 塔崩 and G系列神經毒劑
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26832-26832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26831-26831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26830-26830


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