OffshoreShipRegister - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OffshoreShipRegister EnglishLanguage "OffshoreShipRegister is the class of ShipRegisters maintained by a colony, territory, or possession (OffshoreArea) of a nation. Typically such a register has more lenient maritime regulations with respect to taxation and crewing of ships than does the national register associated with the country of which the offshore area is a dependency.")	Transportation.kif 1185-1190
(subclass OffshoreShipRegister ShipRegister)	Transportation.kif 1182-1182	海外船舶登记是船舶登记的 subclass

appearance as argument number 2

(names "captive register" OffshoreShipRegister)	Transportation.kif 1183-1183	海外船舶登记的名是 "captive register"
(names "offshore ship register" OffshoreShipRegister)	Transportation.kif 1184-1184	海外船舶登记的名是 "offshore ship register"
(termFormat ChineseLanguage OffshoreShipRegister "海外船舶登记")	domainEnglishFormat.kif 41882-41882
(termFormat ChineseTraditionalLanguage OffshoreShipRegister "海外船舶登記")	domainEnglishFormat.kif 41881-41881
(termFormat EnglishLanguage OffshoreShipRegister "offshore ship register")	domainEnglishFormat.kif 41880-41880

antecedent

(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))

Transportation.kif 1192-1196

consequent

(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA OverseasArea))
    (instance
        (ShipRegisterFn ?AREA) OffshoreShipRegister))

Transportation.kif 1151-1155