Automobile(汽车) more pictures... |
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 | 汽车 是 乘用车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | 汽车 是 物理系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | 汽车 是 自供电公路车辆 的 subclass |
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 4966-4966 | ChevroletAutomobile 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | CommodoreAutomobile 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5118-5118 | Corvette 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4909-4909 | FordAutomobile 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | HoldenToranaAutomobile 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4851-4851 | MiniCooper 是 汽车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | 出租车 是 汽车 的 subclass |
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 3140-3140 | IgnitionCoil typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3967-3967 | SteeringBox typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3984-3984 | SteeringColumn typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3989-3989 | 方向盘 typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | TieRod typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29410-29410 | VehicleDoor typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3630-3630 | 汽车 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 3141-3141 | 汽车 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 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 | |
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 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2142-2154 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2730-2744 | |
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 4046-4061 |
|
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 2346-2380 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2325-2337 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2519-2532 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2752-2763 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2629-2645 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3286-3295 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2711-2728 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2555 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3182-3193 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2690-2703 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4694-4705 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3818-3834 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5046-5057 | |
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 4669-4680 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3632-3656 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3994-4012 |
|