TreeView 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	Il numero 1 argomenti di marineInventory è un istanza di MerchantMarine
(domain marineInventory 2 ShipRegister)	Transportation.kif 1049-1049	Il numero 2 argomenti di marineInventory è un istanza di ShipRegister
(instance marineInventory BinaryPredicate)	Transportation.kif 1047-1047	marineInventory è un' istanza di PredicatoBinario

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