No TPTP formula. May not be expressible in strict first order. | Military.kif 151-151 | Military water vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 188-188 | Military ship is a subclass of military water vehicle |