TreeView Knowledge Base Browser - objectGeographicCoordinates

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 328-331
No TPTP formula. May not be expressible in strict first order.	Geography.kif 324-324	O argumento numero 1 de objectGeographicCoordinates e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 325-325	O argumento numero 2 de objectGeographicCoordinates e' uma instancia de Latitude
No TPTP formula. May not be expressible in strict first order.	Geography.kif 326-326	O argumento numero 3 de objectGeographicCoordinates e' uma instancia de Longitude
No TPTP formula. May not be expressible in strict first order.	Geography.kif 323-323	objectGeographicCoordinates e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1815-1815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1814-1814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1813-1813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41542-41542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41541-41541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41540-41540

antecedent

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

Geography.kif 348-353

Area Geografica e' uma instancia de Area Geografica objectGeographicCoordinates GeographicCenterFn Area Geografica, Latitude and Longitude
objectGeographicCoordinates Area Geografica, Latitude and Longitude

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.	Geography.kif 348-353	Area Geografica e' uma instancia de Area Geografica objectGeographicCoordinates GeographicCenterFn Area Geografica, Latitude and Longitude objectGeographicCoordinates Area Geografica, Latitude and Longitude
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

appearance as argument number 0

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)

KB Term:			Term intersection

English Word: