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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kansas
Kansas(Kansas)
more pictures...		KS, Kansas, Sunflower_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 964-964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5290-5290
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5288-5288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5129-5129
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5287-5287
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5291-5291
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5289-5289
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 960-960 Kansas is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 961-961 Kansas meets colorado
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 963-963 Kansas meets Oklahoma
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas meets texas

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1016-1016 Missouri meets Kansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1027-1027 Nebraska meets Kansas
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65067-65067


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