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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NationalShipRegister
NationalShipRegister

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

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


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

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


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 3.0 is open source software produced by Articulate Software and its partners