ShipRegistration - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ShipRegistration EnglishLanguage "ShipRegistration is the official document containing information about the ownership, size, and flag state (flag of registry) of an individual Ship, as registered in the ShipRegister maintained by the maritime authorities of a particular Nation or OverseasArea of a nation. A ship flies the flag of its registered nation or area, and the ship is subject to the maritime regulations and rules of taxation of its flagState.")	Transportation.kif 1089-1095
(subclass ShipRegistration ContentBearingObject)	Transportation.kif 1087-1087	Ship registration is a subclass of content bearing object

appearance as argument number 2

(names "ship registration" ShipRegistration)	Transportation.kif 1088-1088	Ship registration has name "ship registration"
(termFormat ChineseLanguage ShipRegistration "船舶登记")	domainEnglishFormat.kif 52765-52765	Ship registration has name "ship registration"
(termFormat ChineseTraditionalLanguage ShipRegistration "船舶登記")	domainEnglishFormat.kif 52764-52764	Ship registration has name "ship registration"
(termFormat EnglishLanguage ShipRegistration "ship registration")	domainEnglishFormat.kif 52763-52763	Ship registration has name "ship registration"

antecedent

(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))

Transportation.kif 1097-1104

consequent

(=>
    (and
        (instance ?SHIP Ship)
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (exists (?REGISTRATION)
        (and
            (instance ?REGISTRATION ShipRegistration)
            (possesses ?SHIP ?REGISTRATION)
            (subsumesContentInstance
                (ShipRegisterFn ?AREA) ?REGISTRATION))))

Transportation.kif 1157-1166