No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | Ship register is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1121-1121 | National ship register is a subclass of ship register |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1168-1168 | Internal ship register is a subclass of ship register |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1182-1182 | Offshore ship register is a subclass of ship register |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1198-1198 | Flag of convenience register is a subclass of ship register |