ShipRegistration |
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 | ShipRegistration è una sottoclasse di OggettoSemiotico |
appearance as argument number 2 |
(names "ship registration" ShipRegistration) | Transportation.kif 1088-1088 | names "ship registration" and ShipRegistration |
(termFormat ChineseLanguage ShipRegistration "船舶登记") | domainEnglishFormat.kif 52727-52727 | |
(termFormat ChineseTraditionalLanguage ShipRegistration "船舶登記") | domainEnglishFormat.kif 52726-52726 | |
(termFormat EnglishLanguage ShipRegistration "ship registration") | domainEnglishFormat.kif 52725-52725 |
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 |
|