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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 348-353 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 627-646 |
|
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 南 |