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 | The number 1 argument of relative bearing is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3829-3829 | The number 2 argument of relative bearing is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3830-3830 | The number 3 argument of relative bearing is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3827-3827 | relative bearing is an instance of ternary predicate |
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 49328-49328 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49327-49327 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49326-49326 |