Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - marineInventory
marineInventory

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 1039-1040
(domain marineInventory 1 MerchantMarine) Transportation.kif 1037-1037 The number 1 argument of marine inventory is an instance of merchant marine
(domain marineInventory 2 ShipRegister) Transportation.kif 1038-1038 The number 2 argument of marine inventory is an instance of ship register
(instance marineInventory BinaryPredicate) Transportation.kif 1036-1036 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 36061-36061
(termFormat ChineseTraditionalLanguage marineInventory "海運庫存") domainEnglishFormat.kif 36060-36060
(termFormat EnglishLanguage marineInventory "marine inventory") domainEnglishFormat.kif 36059-36059

antecedent
-------------------------


(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (greaterThan ?COUNT 0)
        (marineInventory ?MM ?REGISTER))
    (instance ?REGISTER FlagOfConvenienceRegister))
Transportation.kif 1059-1064

consequent
-------------------------


(=>
    (instance ?MM
        (MerchantMarineFn ?AREA))
    (exists (?REGISTER)
        (and
            (instance ?REGISTER ShipRegister)
            (possesses ?AREA ?REGISTER)
            (marineInventory ?MM ?REGISTER))))
Transportation.kif 1102-1108


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners