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 例 新罕布什爾 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1035-1035 空間的符合 新罕布什爾 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1038-1038 空間的符合 新罕布什爾 and 馬薩諸塞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 空間的符合 新罕布什爾 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1037-1037 空間的符合 新罕布什爾 and 佛蒙特
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1034-1034 部分 新罕布什爾 and 新英格蘭

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 977-977 空間的符合 Maine and 新罕布什爾
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 部分 曼徹斯特新罕布什爾州 and 新罕布什爾
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