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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlagOfConvenienceRegister

Sigma KEE - FlagOfConvenienceRegister
FlagOfConvenienceRegister

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


(documentation FlagOfConvenienceRegister EnglishLanguage "FlagOfConvenienceRegister is the subclass of ShipRegisters in which most of the registered ships are owned outside of the GeopoliticalArea to which the registry belongs. InternalShipRegisters and OffshoreShipRegisters both may act as FlagOfConvenienceRegisters, if permitted by the maritime regulations of the registry owner.") Transportation.kif 1201-1207
(subclass FlagOfConvenienceRegister ShipRegister) Transportation.kif 1198-1198

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


(names "flag of convenience" FlagOfConvenienceRegister) Transportation.kif 1199-1199
(names "open register" FlagOfConvenienceRegister) Transportation.kif 1200-1200
(termFormat ChineseLanguage FlagOfConvenienceRegister "便利登记的旗帜") domainEnglishFormat.kif 24152-24152
(termFormat ChineseTraditionalLanguage FlagOfConvenienceRegister "便利登記的旗幟") domainEnglishFormat.kif 24151-24151
(termFormat EnglishLanguage FlagOfConvenienceRegister "flag of convenience register") domainEnglishFormat.kif 24150-24150

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


(=>
    (and
        (fOCShipsByOrigin ?MM ?HOME ?COUNT)
        (greaterThan ?COUNT 0)
        (marineInventory ?MM ?REGISTER))
    (instance ?REGISTER FlagOfConvenienceRegister))
Transportation.kif 1070-1075


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