TreeView Knowledge Base Browser - LatitudeFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LatitudeFn

LatitudeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 413-419
No TPTP formula. May not be expressible in strict first order.	Geography.kif 406-406	O argumento numero 1 de LatitudeFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 407-407	O argumento numero 2 de LatitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 408-408	O argumento numero 3 de LatitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 409-409	O argumento numero 4 de LatitudeFn e' uma instancia de Medida de Angulo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 405-405	LatitudeFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 404-404	LatitudeFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	O contra-dominio de LatitudeFn e' uma instancia de Regiao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3734-3734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3733-3733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3732-3732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33479-33479
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33478-33478
No TPTP formula. May not be expressible in strict first order.	Geography.kif 411-411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33477-33477

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	LatitudeFn Atributo Directional and @ROW e' uma instancia de Regiao 1th elemento de (@ROW) e' igual a Numero Real AngularDegree(s) Numero Real e' menor ou igual a 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	LatitudeFn Atributo Directional and @ROW e' uma instancia de Regiao Atributo Directional e' igual a North Atributo Directional e' igual a South

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto Objeto e' uma instancia de Tropics Numero Real Longitude, Atributo Directional, Numero Real and Unidade de Medida objectGeographicCoordinates Objeto, Numero Real Unidade de Medida(s) and Longitude Unidade de Medida e' uma instancia de UnitOfAngularMeasure Numero Real e' menos que Numero Real Numero Real Unidade de Medida(s) e' igual a LatitudeFn Atributo Directional, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) Atributo Directional e' uma instancia de Atributo Directional Atributo Directional e' igual a North Atributo Directional e' igual a South
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 433-440	Atributo Directional e' igual a North Atributo Directional e' igual a South o comprimento de LatitudeFn Atributo Directional, 0.0 AngularDegree(s), 1.0 ArcMinute(s) and 0.0 ArcSecond(s) e' 1.0 NauticalMile(s)

statement

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

Geography.kif 4662-4669

objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)

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