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 | 英里 是 UnitOfLength 的 instance |
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 | 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时 |
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 | 臭氧盾 是 25.0 英里 above 地表 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13696-13700 | 1.0 平方英里 equal 1.0 英里 是 1.0 英里 的 per |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | 实数 英里 equal 那个 实数 和 1609.344 仪表 |