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	物件地理坐标的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 325-325	物件地理坐标的 2 数量是纬度的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 326-326	物件地理坐标的 3 数量是经度的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 323-323	物件地理坐标是三元谓语的 instance

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

如果地理区域是地理区域的 instance 和那个地理区域的 geographic 中心是对于经度的 object 地理座标纬度，
然后那个地理区域是对于那个经度的 object 地理座标那个纬度

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	如果客体是地理区域的 instance 和那个客体是 located 在另一个客体和那个另外客体是热带的 instance，然后有存在实数，经度,，，方向属性,，，另一个实数， and 和测量单位这样那个客体是对于那个经度的 object 地理座标那个实数那个测量单位和那个测量单位是 UnitOfAngularMeasure 的 instance 和那个实数是 lessThan 那个另外实数和那个另外实数那个测量单位 equal 23.0 圆周角度的 region 那个方向属性和那个方向属性是方向属性的 instance 和那个方向属性 equal 北或那个方向属性 equal 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 348-353	如果地理区域是地理区域的 instance 和那个地理区域的 geographic 中心是对于经度的 object 地理座标纬度，然后那个地理区域是对于那个经度的 object 地理座标那个纬度
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	如果过程是热带氣旋系统的 instance 和客体是那个过程的源头和那个客体是北大西洋的 instance 或那个客体是太平洋的 instance 或那个客体是印度洋的 instance，然后不存在另一个客体，方向属性,，，实数， and 和经度这样那个另外客体是 located 在那个客体和那个方向属性是方向属性的 instance 和那个另外客体是对于那个经度的 object 地理座标那个实数圆周角度的 region 那个方向属性和那个方向属性 equal 北或那个方向属性 equal 南和那个实数是 lessThan 5.0

appearance as argument number 0

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

Geography.kif 4662-4669

南部海洋的 geographic 中心是对于在 0.0 圆周角度东的 meridian 的 object 地理座标 65.0 圆周角度的 region 南

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: