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 | Automobile e' uma sub-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile e' uma sub-classe de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile e' uma sub-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 4966-4966 | ChevroletAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | CommodoreAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5118-5118 | Corvette e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4909-4909 | FordAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | HoldenToranaAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4851-4851 | MiniCooper e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | Taxicab e' uma sub-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 3140-3140 | typicalPart IgnitionCoil and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3967-3967 | typicalPart SteeringBox and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3984-3984 | typicalPart SteeringColumn and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3989-3989 | typicalPart SteeringWheel and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | typicalPart TieRod and Automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29410-29410 | typicalPart VehicleDoor and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3630-3630 | 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 3141-3141 | typicallyContainsPart IgnitionCoil and Automobile |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |