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 | The number 1 argument of ship register is an instance of geopolitical area |
(instance ShipRegisterFn UnaryFunction) | Transportation.kif 1132-1132 | Ship register is an instance of unary function |
(range ShipRegisterFn ShipRegister) | Transportation.kif 1134-1134 | The range of ship register is an instance of ship register |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ShipRegisterFn "%1 的 ship 注册") | domainEnglishFormat.kif 2275-2275 | |
(format ChineseTraditionalLanguage ShipRegisterFn "%1 的 ship 註冊") | domainEnglishFormat.kif 2274-2274 | |
(format EnglishLanguage ShipRegisterFn "the ship register of %1") | domainEnglishFormat.kif 2273-2273 | |
(termFormat ChineseLanguage ShipRegisterFn "船舶登记") | domainEnglishFormat.kif 52752-52752 | |
(termFormat ChineseTraditionalLanguage ShipRegisterFn "船舶登記") | domainEnglishFormat.kif 52751-52751 | |
(termFormat EnglishLanguage ShipRegisterFn "ship register") | domainEnglishFormat.kif 52750-52750 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |