ShipRegister - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ShipRegister ContentBearingObject)	Transportation.kif 1106-1106	Ship register is a subclass of content bearing object
(documentation ShipRegister EnglishLanguage "A ShipRegister is a record of each Ship and owner registered with the maritime authorities of a country or possession, colony, or territory of a country. Ships on the ShipRegister of a given region fly the flag of that region and are subject to its maritime regulations and rules of taxation.")	Transportation.kif 1107-1111	Ship register is a subclass of content bearing object
(externalImage ShipRegister "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coast_guard_flag.gif")	pictureList.kif 6853-6853	Ship register is a subclass of content bearing object

appearance as argument number 2

(subclass NationalShipRegister ShipRegister)	Transportation.kif 1121-1121	National ship register is a subclass of ship register
(range ShipRegisterFn ShipRegister)	Transportation.kif 1134-1134	The range of ship register is an instance of ship register
(subclass InternalShipRegister ShipRegister)	Transportation.kif 1168-1168	Internal ship register is a subclass of ship register
(subclass OffshoreShipRegister ShipRegister)	Transportation.kif 1182-1182	Offshore ship register is a subclass of ship register
(subclass FlagOfConvenienceRegister ShipRegister)	Transportation.kif 1198-1198	Flag of convenience register is a subclass of ship register
(termFormat EnglishLanguage ShipRegister "ship register")	domainEnglishFormat.kif 52708-52708	Flag of convenience register is a subclass of ship register
(termFormat ChineseTraditionalLanguage ShipRegister "船舶登記")	domainEnglishFormat.kif 52709-52709	Flag of convenience register is a subclass of ship register
(termFormat ChineseLanguage ShipRegister "船舶登记")	domainEnglishFormat.kif 52710-52710	Flag of convenience register is a subclass of ship register

appearance as argument number 3

(domain marineInventory 2 ShipRegister)

antecedent

(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA)))	Transportation.kif 1139-1143	If X is an instance of geopolitical area and the ship register of X is an instance of ship register, then X possesses the ship register of X
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister))	Transportation.kif 1145-1149	If the ship register of X is an instance of ship register and X is an instance of nation, then the ship register of X is an instance of national ship register
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA OverseasArea)) (instance (ShipRegisterFn ?AREA) OffshoreShipRegister))	Transportation.kif 1151-1155	If the ship register of X is an instance of ship register and X is an instance of overseas area, then the ship register of X is an instance of offshore ship register

consequent

(=>
    (instance ?MM
        (MerchantMarineFn ?AREA))
    (exists (?REGISTER)
        (and
            (instance ?REGISTER ShipRegister)
            (possesses ?AREA ?REGISTER)
            (marineInventory ?MM ?REGISTER))))

If X is an instance of the merchant marine of Y, then there exists Z such that Z is an instance of ship register, Y possesses Z, and Z is a marine inventory of X