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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreShipRegister
OffshoreShipRegister

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


(documentation OffshoreShipRegister EnglishLanguage "OffshoreShipRegister is the class of ShipRegisters maintained by a colony, territory, or possession (OffshoreArea) of a nation. Typically such a register has more lenient maritime regulations with respect to taxation and crewing of ships than does the national register associated with the country of which the offshore area is a dependency.") Transportation.kif 1185-1190
(subclass OffshoreShipRegister ShipRegister) Transportation.kif 1182-1182

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


(names "captive register" OffshoreShipRegister) Transportation.kif 1183-1183
(names "offshore ship register" OffshoreShipRegister) Transportation.kif 1184-1184
(termFormat ChineseLanguage OffshoreShipRegister "海外船舶登记") domainEnglishFormat.kif 41880-41880
(termFormat ChineseTraditionalLanguage OffshoreShipRegister "海外船舶登記") domainEnglishFormat.kif 41879-41879
(termFormat EnglishLanguage OffshoreShipRegister "offshore ship register") domainEnglishFormat.kif 41878-41878

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


(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))
Transportation.kif 1192-1196

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


(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA OverseasArea))
    (instance
        (ShipRegisterFn ?AREA) OffshoreShipRegister))
Transportation.kif 1151-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 3.0 is open source software produced by Articulate Software and its partners