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

Formal Language: 



KB Term:  Term intersection
English Word: 

  marineInventory

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 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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners