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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OffshoreShipRegister

Sigma KEE - OffshoreShipRegister
OffshoreShipRegister(offshore ship register)

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 Offshore ship register is a subclass of ship register

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


(names "captive register" OffshoreShipRegister) Transportation.kif 1183-1183 Offshore ship register has name "captive register"
(names "offshore ship register" OffshoreShipRegister) Transportation.kif 1184-1184 Offshore ship register has name "offshore ship register"
(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 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