TreeView Knowledge Base Browser - Alaska

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Alaska

Alaska

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 870-870
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 215-215
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 869-869	Alaska e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 882-882	Alaska encontra ArcticOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 880-880	Alaska encontra Canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 881-881	Alaska encontra PacificOcean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6390-6390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6389-6389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6388-6388

antecedent

No TPTP formula. May not be expressible in strict first order.

CountriesAndRegions.kif 871-878

Unidade de Medida e' uma instancia de Medida de Area a medida de Alaska e' Numero Real Unidade de Medida(s) a medida de Fisico e' Numero Real Unidade de Medida(s) Fisico e' uma instancia de AmericanState Alaska e' igual a Fisico
Numero Real e' menos que Numero Real

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