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 159-165 | |
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 1271-1292 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 159-165 | |
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 2623-2636 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2901-2910 |