No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | ShipRegister est une sous-classe de objet exprimant un sens |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1121-1121 | NationalShipRegister est une sous-classe de ShipRegister |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1168-1168 | InternalShipRegister est une sous-classe de ShipRegister |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1182-1182 | OffshoreShipRegister est une sous-classe de ShipRegister |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1198-1198 | FlagOfConvenienceRegister est une sous-classe de ShipRegister |