MerchantMarineFn |
appearance as argument number 1 |
(documentation MerchantMarineFn EnglishLanguage "(MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA.") | Transportation.kif 968-970 | |
(domain MerchantMarineFn 1 GeopoliticalArea) | Transportation.kif 965-965 | 域 商船, 1 and GeopoliticalArea |
(instance MerchantMarineFn UnaryFunction) | Transportation.kif 964-964 | 例 商船 and UnaryFunction |
(range MerchantMarineFn MerchantMarine) | Transportation.kif 966-966 | 範圍 商船 and 商船 |
appearance as argument number 2 |
(format ChineseLanguage MerchantMarineFn "%1 的 merchant 海洋") | domainEnglishFormat.kif 1703-1703 | |
(format ChineseTraditionalLanguage MerchantMarineFn "%1 的 merchant 海洋") | domainEnglishFormat.kif 1702-1702 | |
(format EnglishLanguage MerchantMarineFn "the merchant marine of %1") | domainEnglishFormat.kif 1701-1701 | |
(termFormat ChineseLanguage MerchantMarineFn "商船") | domainEnglishFormat.kif 37163-37163 | |
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船") | domainEnglishFormat.kif 37162-37162 | |
(termFormat EnglishLanguage MerchantMarineFn "merchant marine") | domainEnglishFormat.kif 37161-37161 |
antecedent |
consequent |
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 978-982 |
|