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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipRegistration
ShipRegistration

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


(documentation ShipRegistration EnglishLanguage "ShipRegistration is the official document containing information about the ownership, size, and flag state (flag of registry) of an individual Ship, as registered in the ShipRegister maintained by the maritime authorities of a particular Nation or OverseasArea of a nation. A ship flies the flag of its registered nation or area, and the ship is subject to the maritime regulations and rules of taxation of its flagState.") Transportation.kif 1078-1084
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1076-1076

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


(names "ship registration" ShipRegistration) Transportation.kif 1077-1077
(termFormat ChineseLanguage ShipRegistration "船舶登记") domainEnglishFormat.kif 52663-52663
(termFormat ChineseTraditionalLanguage ShipRegistration "船舶登記") domainEnglishFormat.kif 52662-52662
(termFormat EnglishLanguage ShipRegistration "ship registration") domainEnglishFormat.kif 52661-52661

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


(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))
Transportation.kif 1086-1093

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


(=>
    (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


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