Vehicle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3625-3627 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15997-16004 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6957-6957 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8214-8214 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 589-589 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15996-15996 | Vehicle est une sous-classe de v�hicule de transport |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | AgentPoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17816-17816 | Aircraft est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | ArmoredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | CargoVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30080-30080 | DamagedVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | LandVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | MilitaryVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | PassengerVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | PoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25751-25751 | RecreationalVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17710-17710 | Spacecraft est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | UnpoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3483-3483 | WaterVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61346-61346 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61345-61345 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61344-61344 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1211-1211 | typicalPart Alternator and Vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1212-1212 | typicallyContainsPart Alternator and Vehicle |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1583-1583 | Le nombre 1 argument de TripFn est une instance de Vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 81-81 | Le nombre 1 argument de maximumPayloadCapacity est une instance de Vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 109-109 | Le nombre 1 argument de maximumPayloadHeightWidth est une instance de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17401-17401 | Le nombre 2 argument de onboard est une instance de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1710-1710 | Le nombre 1 argument de topSpeed est une instance de Vehicle |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23590-23597 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2963-2979 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 567-580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16014-16020 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16006-16012 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 61-66 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30760-30771 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30082-30086 | Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17379-17383 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17420-17424 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8386-8399 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 373-379 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1852-1864 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 132-141 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22333-22345 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3389-3394 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11641-11646 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3516-3518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21889-21894 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3078-3083 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3089-3094 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3067-3072 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5037-5048 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2347-2349 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3395 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3446-3451 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15175-15183 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3683-3712 |
|