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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NationalShipRegister
NationalShipRegisternational_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 1069-1071
(subclass NationalShipRegister ShipRegister) Transportation.kif 1068-1068

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


(termFormat EnglishLanguage NationalShipRegister "national ship register") domainEnglishFormat.kif 7062-7062

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


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

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


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


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