KnotUnitOfSpeed(结速度单位) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3925-3927 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3924-3924 | 结速度单位 是 CompositeUnitOfMeasure 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3922-3922 | 结速度单位 是 "kt" 的简称 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3921-3921 | 结速度单位 的名 是 "knot" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32719-32719 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32718-32718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32717-32717 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 147-153 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4905-4909 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3939-3945 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1259-1280 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 147-153 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4905-4909 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3929-3937 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2610-2623 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2888-2897 |