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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Massachusetts

 Sigma KEE - Massachusetts
Massachusetts(馬薩諸塞)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 994-995
No TPTP formula. May not be expressible in strict first order. pictureList.kif 584-584
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 988-988 例 馬薩諸塞 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 992-992 空間的符合 馬薩諸塞 and 康涅狄格
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 空間的符合 馬薩諸塞 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 空間的符合 馬薩諸塞 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 993-993 空間的符合 馬薩諸塞 and 羅德島
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 部分 馬薩諸塞 and 新英格蘭

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


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 1127-1127 空間的符合 佛蒙特 and 馬薩諸塞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 部分 馬薩諸塞州波士頓 and 馬薩諸塞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36407-36407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36406-36406
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36405-36405


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