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 Massachusetts e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 992-992 Massachusetts encontra Connecticut
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 Massachusetts encontra NewYorkState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 Massachusetts encontra NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 993-993 Massachusetts encontra RhodeIsland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 Massachusetts e' uma &parte de NewEngland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1038-1038 NewHampshire encontra Massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1127-1127 Vermont encontra Massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 BostonMassachusetts e' uma &parte de Massachusetts
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