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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kansas

 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 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 961-961 空間的符合 Kansas and 科羅拉多州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 963-963 空間的符合 Kansas and Oklahoma
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 空間的符合 Kansas and 德州

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1016-1016 空間的符合 密蘇里州 and Kansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1027-1027 空間的符合 Nebraska and Kansas
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65067-65067


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