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 206-206 | Military supply truck is a subclass of truck |