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 | 域 courseWRT 真北, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3723-3723 | 域 courseWRT 真北, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3724-3724 | 域 courseWRT 真北, 3 and PlaneAngleMeasure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3721-3721 | 例 courseWRT 真北 and TernaryPredicate |
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 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東 |