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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewHampshire

 Sigma KEE - NewHampshire
NewHampshire(新罕布什尔)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1039-1040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 619-619
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1033-1033 新罕布什尔 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 新罕布什尔 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1038-1038 新罕布什尔 接上 马萨诸塞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 新罕布什尔 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1037-1037 新罕布什尔 接上 佛蒙特
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1034-1034 新罕布什尔 是 新英格兰 的 part

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 977-977 Maine 接上 新罕布什尔
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 曼彻斯特新罕布什尔州 是 新罕布什尔 的 part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40299-40299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40298-40298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40297-40297


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