TreeView Knowledge Base Browser - PacificOcean

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PacificOcean

PacificOcean

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4568-4569
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 644-644
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4566-4566	PacificOcean e' uma instancia de Ocean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4576-4576	geographicSubregion NorthPacificOcean and PacificOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4616-4616	geographicSubregion SouthPacificOcean and PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 881-881	Alaska encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 903-903	California encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 936-936	Hawaii encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1082-1082	Oregon encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1141-1141	Washington encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4567-4567	PacificOcean se chama nome "Pacific Ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43890-43890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43889-43889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43888-43888

antecedent

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

Weather.kif 623-642

Processo e' uma instancia de TropicalCyclonicSystem Processo tem como origem Objeto Objeto e' uma instancia de NorthAtlanticOcean Objeto e' uma instancia de PacificOcean Objeto e' uma instancia de IndianOcean
Objeto Atributo Directional, Numero Real and Longitude Objeto e' situado em Objeto Atributo Directional e' uma instancia de Atributo Directional objectGeographicCoordinates Objeto, LatitudeFn Atributo Directional and Numero Real AngularDegree(s) and Longitude Atributo Directional e' igual a North Atributo Directional e' igual a South Numero Real e' menos que 5.0

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