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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalShipRegister
InternalShipRegister(internal ship register)internal_ship_register, 內部船舶登記, 内部船舶登记

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


(documentation InternalShipRegister EnglishLanguage "InternalShipRegister is a subset of a NationalShipRegister. Ships on an internal register fly the same flag as on the national register but are subject to different taxation and crewing rules, which are typically more lenient. An internal register may function primarily as a FlagOfConvenienceRegister.") Transportation.kif 1158-1163
(subclass InternalShipRegister ShipRegister) Transportation.kif 1157-1157 Internal ship register is a subclass of ship register

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


(termFormat ChineseLanguage InternalShipRegister "内部船舶登记") domainEnglishFormat.kif 30385-30385 "内部船舶登记" is the printable form of internal ship register in ChineseLanguage
(termFormat ChineseTraditionalLanguage InternalShipRegister "內部船舶登記") domainEnglishFormat.kif 30384-30384 "內部船舶登記" is the printable form of internal ship register in ChineseTraditionalLanguage
(termFormat EnglishLanguage InternalShipRegister "internal ship register") domainEnglishFormat.kif 30383-30383 "internal ship register" is the printable form of internal ship register in english language

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


(=>
    (and
        (instance ?INTERNAL InternalShipRegister)
        (possesses ?AREA ?INTERNAL))
    (instance ?AREA Nation))
Transportation.kif 1165-1169


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners