FlagOfConvenienceRegister - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FlagOfConvenienceRegister EnglishLanguage "FlagOfConvenienceRegister is the subclass of ShipRegisters in which most of the registered ships are owned outside of the GeopoliticalArea to which the registry belongs. InternalShipRegisters and OffshoreShipRegisters both may act as FlagOfConvenienceRegisters, if permitted by the maritime regulations of the registry owner.")	Transportation.kif 1175-1181
(subclass FlagOfConvenienceRegister ShipRegister)	Transportation.kif 1172-1172

appearance as argument number 2

(names "flag of convenience" FlagOfConvenienceRegister)	Transportation.kif 1173-1173
(names "open register" FlagOfConvenienceRegister)	Transportation.kif 1174-1174
(termFormat EnglishLanguage FlagOfConvenienceRegister "flag of convenience register")	domainEnglishFormat.kif 4447-4447

consequent

(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (greaterThan ?COUNT 0)
        (marineInventory ?MM ?REGISTER))
    (instance ?REGISTER FlagOfConvenienceRegister))

Transportation.kif 1044-1049