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 e' uma instancia 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 se chama nome "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 |