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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wyoming

 Sigma KEE - Wyoming
Wyoming(wyoming)
Equality_State, WY, Wyoming

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1157-1157
No TPTP formula. May not be expressible in strict first order. pictureList.kif 845-845
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1153-1153 Wyoming is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1156-1156 Wyoming meets colorado
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1154-1154 Wyoming meets Idaho
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1155-1155 Wyoming meets utah

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1022-1022 Montana meets wyoming
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1025-1025 Nebraska meets wyoming
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1101-1101 South Dakota meets wyoming
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63603-63603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63602-63602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63601-63601


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