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	海运库存的 1 数量是商船的 instance
(domain marineInventory 2 ShipRegister)	Transportation.kif 1049-1049	海运库存的 2 数量是船舶登记的 instance
(instance marineInventory BinaryPredicate)	Transportation.kif 1047-1047	海运库存是二元谓语的 instance

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