relativeBearing |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3832-3834 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3828-3828 | 相对轴承 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3829-3829 | 相对轴承 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3830-3830 | 相对轴承 的 3 数量 是 平面角度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3827-3827 | 相对轴承 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2135-2135 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2134-2134 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2133-2133 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49330-49330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49329-49329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49328-49328 |