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 968-970
(domain MerchantMarineFn 1 GeopoliticalArea) Transportation.kif 965-965 Le nombre 1 argument de MerchantMarineFn est une instance de secteur g�opolitique
(instance MerchantMarineFn UnaryFunction) Transportation.kif 964-964 MerchantMarineFn est une instance de function unaire
(range MerchantMarineFn MerchantMarine) Transportation.kif 966-966 Le domaine de MerchantMarineFn est une instance de MerchantMarine

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

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