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 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 325-325	域物件地理坐標, 2 and 緯度
No TPTP formula. May not be expressible in strict first order.	Geography.kif 326-326	域物件地理坐標, 3 and 經度
No TPTP formula. May not be expressible in strict first order.	Geography.kif 323-323	例物件地理坐標 and TernaryPredicate

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

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	例 Object and GeographicArea 位於 Object and Object 例 Object and 熱帶 RealNumber 經度, DirectionalAttribute, RealNumber and UnitOfMeasure Object 是對於經度的 object 地理座標測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAngularMeasure 少於 RealNumber and RealNumber 等於測量 RealNumber and UnitOfMeasure and 測量 23.0 and 圓周角度的 region DirectionalAttribute 例 DirectionalAttribute and DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 348-353	例 GeographicArea and GeographicArea GeographicArea 的 geographic 中心是對於經度的 object 地理座標緯度 GeographicArea 是對於經度的 object 地理座標緯度
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋例 Object and 太平洋例 Object and 印度洋 Object DirectionalAttribute, RealNumber and 經度位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是對於經度的 object 地理座標測量 RealNumber and 圓周角度的 region DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南少於 RealNumber and 5.0

appearance as argument number 0

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

Geography.kif 4662-4669