TreeView Knowledge Base Browser - OffshoreShipRegister

appearance as argument number 1

(subclass OffshoreShipRegister ShipRegister)	Transportation.kif 1182-1182	Offshore ship register is a subclass of ship register
(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	Offshore ship register is a subclass of ship register

appearance as argument number 2

(names "captive register" OffshoreShipRegister)	Transportation.kif 1183-1183	Offshore ship register has name "captive register"
(names "offshore ship register" OffshoreShipRegister)	Transportation.kif 1184-1184	Offshore ship register has name "offshore ship register"
(termFormat EnglishLanguage OffshoreShipRegister "offshore ship register")	domainEnglishFormat.kif 41879-41879	Offshore ship register has name "offshore ship register"
(termFormat ChineseTraditionalLanguage OffshoreShipRegister "海外船舶登記")	domainEnglishFormat.kif 41880-41880	Offshore ship register has name "offshore ship register"
(termFormat ChineseLanguage OffshoreShipRegister "海外船舶登记")	domainEnglishFormat.kif 41881-41881	Offshore ship register has name "offshore ship register"

antecedent

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

consequent

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