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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnvironmentalModificationConvention

Sigma KEE - EnvironmentalModificationConvention
EnvironmentalModificationConvention(环境修改公约)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8473-8473
No TPTP formula. May not be expressible in strict first order. Geography.kif 3237-3237 环境修改公约协议instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3239-3240 环境修改公约 是 "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Geography.kif 3242-3242 环境修改公约 是 "Environmental Modification" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22258-22258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22257-22257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22256-22256


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