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 6784-6785 | |
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 6787-6787 | 毫米 是 UnitOfLength 的 instance |
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 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1399-1415 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1576-1583 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1526-1533 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7311-7316 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7288-7295 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7265-7272 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17972-17980 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4375-4383 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4420-4428 |
|
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 2803-2815 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1109-1123 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1057-1070 |
statement |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | 25.0 毫米 是 GAU12U 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | 7.62 毫米 是 M240 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | 25.0 毫米 是 M242 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | 12.7 毫米 是 m2褐变 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | 12.7 毫米 是 M3M 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 433-434 | 7.62 毫米 是 M60 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | 40.0 毫米 是 Mk19 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 828-829 | 83.0 毫米 是 SMAW掩体破坏者 的 caliber |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 531-532 | 12.7 毫米 是 XM218 的 caliber |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | 实数 毫米 equal 那个 实数 和 0.001 仪表 |