RoadVehicle(road vehicle)![]() | ![]() | Hum-Vee, Humvee, bus, heap, jalopy |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2271-2271 | Road vehicle is disjoint from rolling stock |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3952-3953 | Road vehicle is disjoint from rolling stock |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1239-1239 | Road vehicle is disjoint from rolling stock |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3951-3951 | Road vehicle is a subclass of land vehicle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1943-1943 | Road vehicle is an industry product type of motor vehicle manufacturing |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2032-2032 | Emergency road vehicle is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 156-156 | Military tank is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2025-2025 | Motor scooter is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1943-1943 | Self powered road vehicle is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1967-1967 | Tractor trailer is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1960-1960 | Trailer is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50202-50202 | Trailer is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50201-50201 | Trailer is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50200-50200 | Trailer is a subclass of road vehicle |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |