No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1903-1903 | Ambulance e' uma sub-classe de EmergencyRoadVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2130-2130 | AMEV e' uma sub-classe de Ambulance |