Mile |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2593-2593 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7199-7199 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1302-1302 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7198-7198 | Mile est une instance de UnitOfLength |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37523-37523 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37522-37522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37521-37521 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 281-288 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 135-143 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 163-171 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 107-115 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1685-1691 | Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 677-690 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3877-3883 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3912-3919 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 773-776 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2793-2793 | earthAltitude OzoneShield and 25.0 Mile(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13723-13727 | 1.0 SquareMile(s) est PerFn 1.0 Mile(s) and 1.0 Mile(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7201-7203 | Nombre r�el Mile(s) est nombre r�el + 1609.344 Meter(s) |