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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Massachusetts
Massachusetts(massachusetts)
Bay_State, MA, Massachusetts, Old_Colony

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 is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 992-992 Massachusetts meets connecticut
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 Massachusetts meets new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 Massachusetts meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 993-993 Massachusetts meets rhode island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 Massachusetts is a part of new england

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1038-1038 New hampshire meets massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1127-1127 Vermont meets massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 Boston, Massachusetts is a part of 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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