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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kansas
Kansas
more pictures...

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 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 961-961 Kansas 接上 科罗拉多州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 963-963 Kansas 接上 Oklahoma
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas 接上 德州

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1016-1016 密苏里州 接上 Kansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1027-1027 Nebraska 接上 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