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 1201-1207
(subclass FlagOfConvenienceRegister ShipRegister)	Transportation.kif 1198-1198	Flag of convenience register is a subclass of ship register

appearance as argument number 2

(names "flag of convenience" FlagOfConvenienceRegister)	Transportation.kif 1199-1199	Flag of convenience register has name "flag of convenience"
(names "open register" FlagOfConvenienceRegister)	Transportation.kif 1200-1200	Flag of convenience register has name "open register"
(termFormat ChineseLanguage FlagOfConvenienceRegister "便利登记的旗帜")	domainEnglishFormat.kif 24168-24168	Flag of convenience register has name "open register"
(termFormat ChineseTraditionalLanguage FlagOfConvenienceRegister "便利登記的旗幟")	domainEnglishFormat.kif 24167-24167	Flag of convenience register has name "open register"
(termFormat EnglishLanguage FlagOfConvenienceRegister "flag of convenience register")	domainEnglishFormat.kif 24166-24166	Flag of convenience register has name "open register"

consequent

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

Transportation.kif 1070-1075