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 | Automobile est une sous-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile est une sous-classe de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile est une sous-classe de SelfPoweredRoadVehicle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1705-1705 | industryProductType AutomobileManufacturing and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4951-4951 | ChevroletAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4490-4490 | CommodoreAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5103-5103 | Corvette est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4894-4894 | FordAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4848-4848 | HoldenToranaAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4836-4836 | MiniCooper est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | Taxicab est une sous-classe de Automobile |
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 | typicalPart AutoSuspensionSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 868-868 | typicalPart AutomobileShock and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | typicalPart BrakeSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3125-3125 | typicalPart IgnitionCoil and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3952-3952 | typicalPart SteeringBox and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3969-3969 | typicalPart SteeringColumn and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3974-3974 | typicalPart SteeringWheel and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4121-4121 | typicalPart TieRod and Automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29461-29461 | typicalPart VehicleDoor and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3615-3615 | typicallyContainsPart AutoAirbag and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | typicallyContainsPart AutoSuspensionSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 869-869 | typicallyContainsPart AutomobileShock and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1236-1236 | typicallyContainsPart BrakeSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3126-3126 | typicallyContainsPart IgnitionCoil and Automobile |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |