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