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	Le nombre 1 argument de objectGeographicCoordinates est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 325-325	Le nombre 2 argument de objectGeographicCoordinates est une instance de Latitude
No TPTP formula. May not be expressible in strict first order.	Geography.kif 326-326	Le nombre 3 argument de objectGeographicCoordinates est une instance de Longitude
No TPTP formula. May not be expressible in strict first order.	Geography.kif 323-323	objectGeographicCoordinates est une instance de pr�dicat ternaire

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

Secteur g�ographique est une instance de secteur g�ographique objectGeographicCoordinates GeographicCenterFn secteur g�ographique, Latitude and Longitude
objectGeographicCoordinates secteur g�ographique, Latitude and Longitude

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	Objet est une instance de secteur g�ographique objet est situ� � objet objet est une instance de Tropics nombre r�el Longitude, attribut directionnel, nombre r�el and unit� de mesure objectGeographicCoordinates objet, nombre r�el unit� de mesure(s) and Longitude unit� de mesure est une instance de UnitOfAngularMeasure nombre r�el est moins que nombre r�el nombre r�el unit� de mesure(s) est LatitudeFn attribut directionnel, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) attribut directionnel est une instance de attribut directionnel attribut directionnel est North attribut directionnel est South
No TPTP formula. May not be expressible in strict first order.	Geography.kif 348-353	Secteur g�ographique est une instance de secteur g�ographique objectGeographicCoordinates GeographicCenterFn secteur g�ographique, Latitude and Longitude objectGeographicCoordinates secteur g�ographique, Latitude and Longitude
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	Processus est une instance de TropicalCyclonicSystem processus a pour origine objet objet est une instance de NorthAtlanticOcean objet est une instance de PacificOcean objet est une instance de IndianOcean objet attribut directionnel, nombre r�el and Longitude objet est situ� � objet attribut directionnel est une instance de attribut directionnel objectGeographicCoordinates objet, LatitudeFn attribut directionnel and nombre r�el AngularDegree(s) and Longitude attribut directionnel est North attribut directionnel est South nombre r�el est moins 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: