AngularDegree |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2618-2618 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7361-7361 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1332-1332 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7359-7359 | AngularDegree e' uma instancia de UnitOfAngularMeasure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7536-7536 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7535-7535 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7534-7534 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3731-3733 | courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 378-380 | A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 427-431 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 467-474 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7363-7365 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7371-7375 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 358-360 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 362-364 |
|
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 382-382 | 1.0 AngularDegree(s) e' igual a 60.0 ArcMinute(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 383-383 | Numero Real AngularDegree(s) e' igual a 60.0 + Numero Real ArcMinute(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7367-7369 | Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s) |