SelfPoweredRoadVehicle
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1805-1809 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1804-1804 | Self powered road vehicle is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1803-1803 | Self powered road vehicle is a subclass of road vehicle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1966-1966 | Bus is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1876-1876 | Motorcycle is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2009-2009 | Truck is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52011-52011 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52010-52010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52009-52009 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3709-3709 | A car alarm is typically a part of a self powered road vehicle |
antecedent |