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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MustardGas

 Sigma KEE - MustardGas
MustardGas(芥子气)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 493-496
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7385-7385
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7386-7386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6715-6715
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7387-7387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31548-31548 roomTempState 芥子气 and 加油站
No TPTP formula. May not be expressible in strict first order. WMD.kif 492-492 芥子气 是 发泡剂 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 503-503 氮芥子气 是 芥子气 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 498-498 硫芥子气 是 芥子气 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39459-39459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39458-39458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39457-39457


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