No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | MilitarySupportVehicle e' uma sub-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 205-205 | MilitarySupplyTruck e' uma sub-classe de MilitarySupportVehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 209-209 | MilitaryFoodTruck e' uma sub-classe de MilitarySupportVehicle |
![]() |