No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | Military support vehicle is a subclass of military vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 205-205 | Military supply truck is a subclass of military support vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 209-209 | Military food truck is a subclass of military support vehicle |