No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | MilitarySupportVehicle est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 205-205 | MilitarySupplyTruck est une sous-classe de MilitarySupportVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 209-209 | MilitaryFoodTruck est une sous-classe de MilitarySupportVehicle |