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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Michigan

 Sigma KEE - Michigan
Michigan(michigan)
Great_Lakes_State, MI, Michigan, Wolverine_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1000-1001
No TPTP formula. May not be expressible in strict first order. pictureList.kif 591-591
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 996-996 Michigan is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 999-999 Michigan meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 998-998 Michigan meets illinois
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 997-997 Michigan meets Indiana

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1075-1075 Ohio meets michigan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 841-841 Detroit michigan is a part of michigan
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37427-37427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37426-37426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37425-37425


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