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	O argumento numero 1 de marineInventory e' uma instancia de MerchantMarine
(domain marineInventory 2 ShipRegister)	Transportation.kif 1049-1049	O argumento numero 2 de marineInventory e' uma instancia de ShipRegister
(instance marineInventory BinaryPredicate)	Transportation.kif 1047-1047	marineInventory e' uma instancia de Predicado Binario

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 36167-36167
(termFormat ChineseTraditionalLanguage marineInventory "海運庫存")	domainEnglishFormat.kif 36166-36166
(termFormat EnglishLanguage marineInventory "marine inventory")	domainEnglishFormat.kif 36165-36165

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