|
|
   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 16047-16054 | |
| 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 16046-16046 | 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 17844-17844 | 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 30116-30116 | DamagedVehicle est une sous-classe de Vehicle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3458-3458 | 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 25796-25796 | RecreationalVehicle est une sous-classe de Vehicle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17738-17738 | 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 3476-3476 | WaterVehicle est une sous-classe de Vehicle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61348-61348 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61347-61347 | |
| 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. | 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 17429-17429 | 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 3409-3419 | |
| 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 23643-23650 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2940-2956 |
|
| 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 16064-16070 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16062 | |
| 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 30796-30807 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30118-30122 | 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 17407-17411 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17448-17452 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8414-8427 |
|
| 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 136-145 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22386-22398 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3382-3387 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11665-11670 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3509-3511 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21942-21947 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3071-3076 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3082-3087 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3060-3065 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5014-5025 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2353-2355 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3392-3404 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3366-3372 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3439-3444 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15203-15211 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3660-3689 |
|
|
|
|
