marineInventory - Sigma Knowledge base Browser

appearance as argument number 1

(documentation marineInventory EnglishLanguage "A relation between a MerchantMarine and a ShipRegister which is a member of that MerchantMarine")	Transportation.kif 1050-1051
(domain marineInventory 1 MerchantMarine)	Transportation.kif 1048-1048	The number 1 argument of marine inventory is an instance of merchant marine
(domain marineInventory 2 ShipRegister)	Transportation.kif 1049-1049	The number 2 argument of marine inventory is an instance of ship register
(instance marineInventory BinaryPredicate)	Transportation.kif 1047-1047	marine inventory is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage marineInventory "%2 %n 是 %1 的 marine 库存")	domainEnglishFormat.kif 1615-1615
(format ChineseTraditionalLanguage marineInventory "%2 %n 是 %1 的 marine 庫存")	domainEnglishFormat.kif 1614-1614
(format EnglishLanguage marineInventory "%2 is %n a marine inventory of %1")	domainEnglishFormat.kif 1613-1613
(termFormat ChineseLanguage marineInventory "海运库存")	domainEnglishFormat.kif 36196-36196
(termFormat ChineseTraditionalLanguage marineInventory "海運庫存")	domainEnglishFormat.kif 36195-36195
(termFormat EnglishLanguage marineInventory "marine inventory")	domainEnglishFormat.kif 36194-36194

antecedent

(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (greaterThan ?COUNT 0)
        (marineInventory ?MM ?REGISTER))
    (instance ?REGISTER FlagOfConvenienceRegister))

Transportation.kif 1070-1075

consequent

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

Transportation.kif 1113-1119