No TPTP formula. May not be expressible in strict first order. | Military.kif 151-151 | MilitaryWaterVehicle e' uma sub-classe de WaterVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 188-188 | MilitaryShip e' uma sub-classe de MilitaryWaterVehicle |