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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OffshoreShipRegister

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 OffshoreShipRegisterShipRegistersubclass では %n

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


(names "captive register" OffshoreShipRegister) Transportation.kif 1183-1183 OffshoreShipRegister は "captive register" の name を 持って %n{ない}
(names "offshore ship register" OffshoreShipRegister) Transportation.kif 1184-1184 OffshoreShipRegister は "offshore ship register" の name を 持って %n{ない}
(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