No TPTP formula. May not be expressible in strict first order. | Military.kif 151-151 | MilitaryWaterVehicle est une sous-classe de WaterVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 188-188 | MilitaryShip est une sous-classe de MilitaryWaterVehicle |