AngularDegree(angular degree) | arcdegree, degree |
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 | Angular degree is an instance of unit of angular measure |
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 | An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 378-380 | The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(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 Angular degree(s) is equal to 60.0 arc minute(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 383-383 | A real number angular degree(s) is equal to 60.0 and the real number arc minute(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7367-7369 | A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east |