Automobile
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1949-1952 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 247-247 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 394-394 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 396-396 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 395-395 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 397-397 | |
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. | Cars.kif 836-836 | 子類 汽車 and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | 子類 汽車 and 自供電公路車輛 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1705-1705 | 汽車 是 汽車製造業 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4974-4974 | 子類 ChevroletAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4513-4513 | 子類 CommodoreAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5126-5126 | 子類 Corvette and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4917-4917 | 子類 FordAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4871-4871 | 子類 HoldenToranaAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4859-4859 | 子類 MiniCooper and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | 子類 出租車 and 汽車 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9198-9198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9197-9197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9196-9196 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 727-727 | AutoSuspensionSystem typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 868-868 | AutomobileShock typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | BrakeSystem typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3148-3148 | IgnitionCoil typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3975-3975 | SteeringBox typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | SteeringColumn typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3997-3997 | 方向盤 typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4144-4144 | TieRod typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29398-29398 | VehicleDoor typically 是 汽車 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3638-3638 | 汽車 typically 有 part AutoAirbag |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | 汽車 typically 有 part AutoSuspensionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 869-869 | 汽車 typically 有 part AutomobileShock |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1236-1236 | 汽車 typically 有 part BrakeSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3149-3149 | 汽車 typically 有 part IgnitionCoil |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2591-2609 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2573-2589 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 853-866 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1844-1862 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1823-1842 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2148-2160 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2736-2750 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4054-4069 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1292-1307 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1958-1960 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1954-1956 |
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9711-9720 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 845-851 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2352-2386 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2331-2343 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2525-2538 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2758-2769 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2635-2651 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3294-3303 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2717-2734 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2546-2561 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3190-3201 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2696-2709 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4702-4713 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3826-3842 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5054-5065 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4677-4688 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3640-3664 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4002-4020 |
|