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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NationalShipRegister
NationalShipRegister(national ship register)national_ship_register, 国家船舶登记, 國家船舶登記

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


(documentation NationalShipRegister EnglishLanguage "A NationalShipRegister is a record of the Ships that are officially registered with a particular Nation, including their tonnage and ownership.") Transportation.kif 1096-1098
(subclass NationalShipRegister ShipRegister) Transportation.kif 1095-1095 National ship register is a subclass of ship register

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


(termFormat ChineseLanguage NationalShipRegister "国家船舶登记") domainEnglishFormat.kif 39775-39775 "国家船舶登记" is the printable form of national ship register in ChineseLanguage
(termFormat ChineseTraditionalLanguage NationalShipRegister "國家船舶登記") domainEnglishFormat.kif 39774-39774 "國家船舶登記" is the printable form of national ship register in ChineseTraditionalLanguage
(termFormat EnglishLanguage NationalShipRegister "national ship register") domainEnglishFormat.kif 39773-39773 "national ship register" is the printable form of national ship register in english language

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


(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))
Transportation.kif 1100-1104

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


(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA Nation))
    (instance
        (ShipRegisterFn ?AREA) NationalShipRegister))
Transportation.kif 1119-1123


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