more pictures...
| PassengerVehicle(乘用車)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1743-1746 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6754-6754 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7500-7500 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7502-7502 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7503-7503 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7504-7504 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7506-7506 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | 子類 乘用車 and 車輛 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1648-1648 | 子類 AAV and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | 子類 APC and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1948-1948 | 子類 汽車 and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1967-1967 | 子類 總線 and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | 子類 C h46 d and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | 子類 C h53 e and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1946-1946 | 子類 LCAC and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2123-2123 | 子類 客運鐵路車 and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44706-44706 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44705-44705 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44704-44704 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 71-71 | 域 人員運輸能力, 1 and 乘用車 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1748-1758 |
|
|
|