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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MerchantMarineFn
MerchantMarineFn

appearance as argument number 1
-------------------------


(documentation MerchantMarineFn EnglishLanguage "(MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA.") Transportation.kif 968-970
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 商船 的 1 数量 是 地缘政治区域instance
(instance MerchantMarineFn UnaryFunction) Transportation.kif 964-964 商船一元函数instance
(range MerchantMarineFn MerchantMarine) Transportation.kif 966-966 商船range商船 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage MerchantMarineFn "%1 的 merchant 海洋") domainEnglishFormat.kif 1703-1703
(format ChineseTraditionalLanguage MerchantMarineFn "%1 的 merchant 海洋") domainEnglishFormat.kif 1702-1702
(format EnglishLanguage MerchantMarineFn "the merchant marine of %1") domainEnglishFormat.kif 1701-1701
(termFormat ChineseLanguage MerchantMarineFn "商船") domainEnglishFormat.kif 37163-37163
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船") domainEnglishFormat.kif 37162-37162
(termFormat EnglishLanguage MerchantMarineFn "merchant marine") domainEnglishFormat.kif 37161-37161

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


(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (equal ?MM
            (MerchantMarineFn ?AREA)))
    (not
        (equal ?HOME ?AREA)))
Transportation.kif 1064-1068
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 978-982
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))
Transportation.kif 972-976
(=>
    (and
        (instance ?SHIP Ship)
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (exists (?REGISTRATION)
        (and
            (instance ?REGISTRATION ShipRegistration)
            (possesses ?SHIP ?REGISTRATION)
            (subsumesContentInstance
                (ShipRegisterFn ?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
(=>
    (instance ?MM
        (MerchantMarineFn ?AREA))
    (exists (?REGISTER)
        (and
            (instance ?REGISTER ShipRegister)
            (possesses ?AREA ?REGISTER)
            (marineInventory ?MM ?REGISTER))))
Transportation.kif 1113-1119

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 978-982


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 3.0 is open source software produced by Articulate Software and its partners