ShipRegistration - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ShipRegistration ContentBearingObject)	Transportation.kif 1087-1087	Ship registration is a subclass of content bearing object
(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	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 EnglishLanguage ShipRegistration "ship registration")	domainEnglishFormat.kif 52720-52720	Ship registration has name "ship registration"
(termFormat ChineseTraditionalLanguage ShipRegistration "船舶登記")	domainEnglishFormat.kif 52721-52721	Ship registration has name "ship registration"
(termFormat ChineseLanguage ShipRegistration "船舶登记")	domainEnglishFormat.kif 52722-52722	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))

If X is an instance of ship registration, Y is an instance of ship, Y possesses X, Z is an instance of geopolitical area, and Z is a flag state of Y, then the ship register of Z subsumes the content of X

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))))

If X is an instance of ship, Y is an instance of geopolitical area, and X is a member of the merchant marine of Y, then there exists Z such that Z is an instance of ship registration, X possesses Z, and the ship register of Y subsumes the content of Z