Mile(mile) | international_mile, land_mile, mi, milage, mile, mileage, miler, stat_mi, statute_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 7198-7198 | |
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 7197-7197 | Mile is an instance of unit of length |
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 1698-1704 | A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 689-702 |
|
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 | Ozone shield is 25.0 mile(s) above the ground |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13695-13699 | 1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | A real number mile(s) is equal to the real number and 1609.344 meter(s) |