ShipRegister - Sigma Knowledge base Browser

appearance as argument number 1

(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
(externalImage ShipRegister "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coast_guard_flag.gif")	pictureList.kif 6854-6854
(subclass ShipRegister ContentBearingObject)	Transportation.kif 1106-1106	Ship register is a subclass of content bearing object

appearance as argument number 2

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

appearance as argument number 3

(domain marineInventory 2 ShipRegister)

Transportation.kif 1049-1049

antecedent

(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister))	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area 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 a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA)))	Transportation.kif 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area

consequent

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

Transportation.kif 1113-1119