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 e' uma instancia 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 1702-1708 | Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 |
|
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 13696-13700 | 1.0 SquareMile(s) e' igual a PerFn 1.0 Mile(s) and 1.0 Mile(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | Numero Real Mile(s) e' igual a Numero Real + 1609.344 Meter(s) |