NationalShipRegister - Sigma Knowledge base Browser

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 1122-1124
(subclass NationalShipRegister ShipRegister)	Transportation.kif 1121-1121	国家船舶登记是船舶登记的 subclass

appearance as argument number 2

(termFormat ChineseLanguage NationalShipRegister "国家船舶登记")	domainEnglishFormat.kif 39857-39857
(termFormat ChineseTraditionalLanguage NationalShipRegister "國家船舶登記")	domainEnglishFormat.kif 39856-39856
(termFormat EnglishLanguage NationalShipRegister "national ship register")	domainEnglishFormat.kif 39855-39855

antecedent

(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))

Transportation.kif 1126-1130

consequent

(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA Nation))
    (instance
        (ShipRegisterFn ?AREA) NationalShipRegister))

Transportation.kif 1145-1149