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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipRegister
ShipRegister
ship_register

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


s__documentation(s__ShipRegister,s__EnglishLanguage,'A ShipRegister is a record of each Ship and owner registered with the maritime authorities of a country or possession, colony, or territory of a country. Ships on the ShipRegister of a given region fly the flag of that region and are subject to its maritime regulations and rules of taxation.')

Transportation.kif 1054-1058
s__externalImage(s__ShipRegister,'http://upload.wikimedia.org/wikipedia/commons/1/11/Coast_guard_flag.gif')

pictureList.kif 6855-6855
s__subclass(s__ShipRegister,s__ContentBearingObject)

Transportation.kif 1053-1053

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


s__range(s__ShipRegisterFn__m,s__ShipRegister)

Transportation.kif 1081-1081
s__instance(s__FlagOfConvenienceRegister,s__SetOrClass)

Transportation.kif 1145-1145
s__subclass(s__InternalShipRegister,s__ShipRegister)

Transportation.kif 1115-1115
s__subclass(s__NationalShipRegister,s__ShipRegister)

Transportation.kif 1068-1068
s__instance(s__OffshoreShipRegister,s__SetOrClass)

Transportation.kif 1129-1129
s__termFormat(s__EnglishLanguage,s__ShipRegister,'ship register')

domainEnglishFormat.kif 9209-9209

appearance as argument number 3
-------------------------


s__domain(s__marineInventory__m,2,s__ShipRegister)

Transportation.kif 996-996

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


( ! [V__AREA] :
   ((s__instance(s__ShipRegisterFn(V__AREA)
    ,s__ShipRegister) &
     s__instance(V__AREA,s__Nation))
   =>
   s__instance(s__ShipRegisterFn(V__AREA)
,s__NationalShipRegister))
)

Transportation.kif 1092-1096
( ! [V__AREA] :
   ((s__instance(s__ShipRegisterFn(V__AREA)
    ,s__ShipRegister) &
     s__instance(V__AREA,s__OverseasArea))
   =>
   s__instance(s__ShipRegisterFn(V__AREA)
,s__OffshoreShipRegister))
)

Transportation.kif 1098-1102
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__ShipRegisterFn(V__AREA)
    ,s__ShipRegister))
   =>
   s__possesses(V__AREA,s__ShipRegisterFn(V__AREA)))
)

Transportation.kif 1086-1090

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


( ! [V__MM,V__AREA] :
   (s__instance(V__MM,s__MerchantMarineFn(V__AREA))
=>
(? [V__REGISTER] :
   (s__instance(V__REGISTER,s__ShipRegister) &
     s__possesses(V__AREA,V__REGISTER)
   &
   s__marineInventory(V__MM,V__REGISTER))))
)

Transportation.kif 1060-1066


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