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 | O argumento numero 1 de relativeBearing e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3829-3829 | O argumento numero 2 de relativeBearing e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3830-3830 | O argumento numero 3 de relativeBearing e' uma instancia de Medida de Angulo Planar |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3827-3827 | relativeBearing e' uma instancia de Predicado Ternario |
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 |
![]() |
![]() |