No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1887-1887 | EmergencyVehicle e' uma sub-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1891-1891 | EmergencyRoadVehicle e' uma sub-classe de EmergencyVehicle |