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 4974-4974 | ChevroletAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4513-4513 | CommodoreAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5126-5126 | Corvette est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4917-4917 | FordAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4871-4871 | HoldenToranaAutomobile est une sous-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4859-4859 | 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 3148-3148 | typicalPart IgnitionCoil and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3975-3975 | typicalPart SteeringBox and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | typicalPart SteeringColumn and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3997-3997 | typicalPart SteeringWheel and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4144-4144 | typicalPart TieRod and Automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29398-29398 | typicalPart VehicleDoor and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3638-3638 | 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 3149-3149 | typicallyContainsPart IgnitionCoil and Automobile |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |