TreeView Knowledge Base Browser - Kansas

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 e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 961-961	Kansas encontra Colorado
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 963-963	Kansas encontra Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 962-962	Kansas encontra Texas

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1016-1016	Missouri encontra Kansas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1027-1027	Nebraska encontra 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