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 957-959
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 954-954
(instance MerchantMarineFn UnaryFunction) Transportation.kif 953-953
(range MerchantMarineFn MerchantMarine) Transportation.kif 955-955

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 37087-37087
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船") domainEnglishFormat.kif 37086-37086
(termFormat EnglishLanguage MerchantMarineFn "merchant marine") domainEnglishFormat.kif 37085-37085

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


(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (equal ?MM
            (MerchantMarineFn ?AREA)))
    (not
        (equal ?HOME ?AREA)))
Transportation.kif 1053-1057
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 967-971
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))
Transportation.kif 961-965
(=>
    (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 1146-1155
(=>
    (instance ?MM
        (MerchantMarineFn ?AREA))
    (exists (?REGISTER)
        (and
            (instance ?REGISTER ShipRegister)
            (possesses ?AREA ?REGISTER)
            (marineInventory ?MM ?REGISTER))))
Transportation.kif 1102-1108

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


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


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