Millimeter |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2515-2515 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6785-6786 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1214-1215 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6788-6788 | Millimeter e' uma instancia de UnitOfLength |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37805-37805 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37804-37804 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37803-37803 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1063-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1243-1248 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1230-1235 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2786-2798 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1093-1107 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1041-1054 |
statement |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | caliber GAU12U and 25.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | caliber M240 and 7.62 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | caliber M242 and 25.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | caliber M2Browning and 12.7 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | caliber M3M and 12.7 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 433-434 | caliber M60 and 7.62 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | caliber MK19 and 40.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 828-829 | caliber SMAWBunkerBuster and 83.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 531-532 | caliber XM218 and 12.7 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6790-6793 | Numero Real Millimeter(s) e' igual a Numero Real + 0.001 Meter(s) |