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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MerchantMarineFn

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 942-944
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 939-939
(instance MerchantMarineFn UnaryFunction) Transportation.kif 938-938
(range MerchantMarineFn MerchantMarine) Transportation.kif 940-940

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


(format EnglishLanguage MerchantMarineFn "the merchant marine of %1") domainEnglishFormat.kif 434-434
(termFormat EnglishLanguage MerchantMarineFn "merchant marine") domainEnglishFormat.kif 6614-6614

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


(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (equal ?MM
            (MerchantMarineFn ?AREA)))
    (not
        (equal ?HOME ?AREA)))
Transportation.kif 1038-1042
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 952-956
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))
Transportation.kif 946-950
(=>
    (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 1131-1140
(=>
    (instance ?MM
        (MerchantMarineFn ?AREA))
    (exists (?REGISTER)
        (and
            (instance ?REGISTER ShipRegister)
            (possesses ?AREA ?REGISTER)
            (marineInventory ?MM ?REGISTER))))
Transportation.kif 1087-1093

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners