ShipRegisterFn |
appearance as argument number 1 |
(documentation ShipRegisterFn EnglishLanguage "(ShipRegisterFn ?AREA) denotes the ShipRegister of the Ships that fly the flag of the GeopoliticalArea ?AREA.") | Transportation.kif 1135-1137 | |
(domain ShipRegisterFn 1 GeopoliticalArea) | Transportation.kif 1133-1133 | |
(instance ShipRegisterFn UnaryFunction) | Transportation.kif 1132-1132 | |
(range ShipRegisterFn ShipRegister) | Transportation.kif 1134-1134 |
appearance as argument number 2 |
(format ChineseLanguage ShipRegisterFn "%1 的 ship 注册") | domainEnglishFormat.kif 2271-2271 | |
(format ChineseTraditionalLanguage ShipRegisterFn "%1 的 ship 註冊") | domainEnglishFormat.kif 2270-2270 | |
(format EnglishLanguage ShipRegisterFn "the ship register of %1") | domainEnglishFormat.kif 2269-2269 | |
(termFormat ChineseLanguage ShipRegisterFn "船舶登记") | domainEnglishFormat.kif 52721-52721 | |
(termFormat ChineseTraditionalLanguage ShipRegisterFn "船舶登記") | domainEnglishFormat.kif 52720-52720 | |
(termFormat EnglishLanguage ShipRegisterFn "ship register") | domainEnglishFormat.kif 52719-52719 |
antecedent |
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister)) |
Transportation.kif 1145-1149 | |
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA OverseasArea)) (instance (ShipRegisterFn ?AREA) OffshoreShipRegister)) |
Transportation.kif 1151-1155 | |
(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA))) |
Transportation.kif 1139-1143 |
consequent |