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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipRegistration

Sigma KEE - ShipRegistration
ShipRegistration(ship registration)

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 1089-1095
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1087-1087 Ship registration is a subclass of content bearing object

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


(names "ship registration" ShipRegistration) Transportation.kif 1088-1088 Ship registration has name "ship registration"
(termFormat ChineseLanguage ShipRegistration "船舶登记") domainEnglishFormat.kif 52725-52725
(termFormat ChineseTraditionalLanguage ShipRegistration "船舶登記") domainEnglishFormat.kif 52724-52724
(termFormat EnglishLanguage ShipRegistration "ship registration") domainEnglishFormat.kif 52723-52723

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


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

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 1157-1166


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 3.0 is open source software produced by Articulate Software and its partners