more pictures...
| MilitaryVehicle(軍車)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 132-135 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 443-443 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 442-442 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 441-441 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 440-440 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1185-1185 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 130-130 | 子類 軍車 and 軍事平台 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | 子類 軍車 and 車輛 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1646-1646 | 子類 AAV and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1890-1890 | 子類 A h1 and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2128-2128 | 子類 AMEV and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | 子類 APC and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | 子類 C h46 d and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | 子類 C h53 e and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1734-1734 | 子類 鷂2 and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1945-1945 | 子類 LCAC and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 156-156 | 子類 軍用飛機 and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | 子類 軍事支援車輛 and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 145-145 | 子類 軍用坦克 and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37769-37769 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37768-37768 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37767-37767 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 23-23 | 域 武器攜帶能力, 1 and 軍車 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 197-202 |
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 137-143 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 102-106 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 61-66 |
|
|
|