Vehicle(車輛) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3625-3627 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15975-15982 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6957-6957 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8214-8214 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 589-589 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15974-15974 | 子類 車輛 and TransportationDevice |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | 子類 代理動力車輛 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | 子類 飛機 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | 子類 裝甲車 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | 子類 貨車 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30092-30092 | 子類 DamagedVehicle and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | 子類 陸地車輛 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | 子類 軍車 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | 子類 乘用車 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | 子類 動力車輛 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25763-25763 | 子類 RecreationalVehicle and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17711-17711 | 子類 宇宙飛船 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | 子類 無動力車輛 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3483-3483 | 子類 水車 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61346-61346 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61345-61345 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61344-61344 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1211-1211 | Alternator typically 是 車輛 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1212-1212 | 車輛 typically 有 part Alternator |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1583-1583 | 域 旅, 1 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 81-81 | 域 最大載荷容量, 1 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 109-109 | 域 最大有效負載高度寬度, 1 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17402-17402 | 域 在船上, 2 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1710-1710 | 域 topSpeed, 1 and 車輛 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23591-23598 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2957-2973 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 567-580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15992-15998 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15984-15990 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 61-66 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30772-30783 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | 例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17380-17384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17421-17425 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8387-8400 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 373-379 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1852-1864 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 132-141 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22334-22346 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3389-3394 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11619-11624 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3516-3518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21890-21895 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3078-3083 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3089-3094 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3067-3072 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5029-5040 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2347-2349 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3381-3387 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3446-3451 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15176-15184 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 |
|