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
(instance MerchantMarineFn UnaryFunction) Transportation.kif 964-964
(range MerchantMarineFn MerchantMarine) Transportation.kif 966-966

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 37152-37152
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船") domainEnglishFormat.kif 37151-37151
(termFormat EnglishLanguage MerchantMarineFn "merchant marine") domainEnglishFormat.kif 37150-37150

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