courseWRTTrueNorth |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3726-3729 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3722-3722 | The number 1 argument of courseWRT true north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3723-3723 | The number 2 argument of courseWRT true north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3724-3724 | The number 3 argument of courseWRT true north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3721-3721 | courseWRT true north is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 568-568 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 567-567 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 566-566 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17628-17628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17627-17627 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17626-17626 |
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 |