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 | KnotUnitOfSpeed est une instance de CompositeUnitOfMeasure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3922-3922 | abbreviation "kt" and KnotUnitOfSpeed |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3921-3921 | KnotUnitOfSpeed s'appele nom "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 |