|
|
   RoadVehicle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2102-2102 | RoadVehicle e' disjunto de RollingStock |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3502-3503 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1239-1239 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3501-3501 | RoadVehicle e' uma sub-classe de LandVehicle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1818-1818 | industryProductType MotorVehicleManufacturing and RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1892-1892 | EmergencyRoadVehicle e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 146-146 | MilitaryTank e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1885-1885 | MotorScooter e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1803-1803 | SelfPoweredRoadVehicle e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1827-1827 | TractorTrailer e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1820-1820 | Trailer e' uma sub-classe de RoadVehicle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50200-50200 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50199-50199 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50198-50198 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23617-23625 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 902-915 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23588-23593 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3531-3540 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16909-16920 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23595-23599 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15505-15511 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4438-4448 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15232-15237 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3451-3456 |
|
|
|
|
