ShipRegisterFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ShipRegisterFn

ShipRegisterFn

appearance as argument number 1

(documentation ShipRegisterFn EnglishLanguage "(ShipRegisterFn ?AREA) denotes the ShipRegister of the Ships that fly the flag of the GeopoliticalArea ?AREA.")	Transportation.kif 1135-1137
(domain ShipRegisterFn 1 GeopoliticalArea)	Transportation.kif 1133-1133	The number 1 argument of ship register is an instance of geopolitical area
(instance ShipRegisterFn UnaryFunction)	Transportation.kif 1132-1132	Ship register is an instance of unary function
(range ShipRegisterFn ShipRegister)	Transportation.kif 1134-1134	The range of ship register is an instance of ship register

appearance as argument number 2

(format ChineseLanguage ShipRegisterFn "%1 的 ship 注册")	domainEnglishFormat.kif 2271-2271
(format ChineseTraditionalLanguage ShipRegisterFn "%1 的 ship 註冊")	domainEnglishFormat.kif 2270-2270
(format EnglishLanguage ShipRegisterFn "the ship register of %1")	domainEnglishFormat.kif 2269-2269
(termFormat ChineseLanguage ShipRegisterFn "船舶登记")	domainEnglishFormat.kif 52759-52759
(termFormat ChineseTraditionalLanguage ShipRegisterFn "船舶登記")	domainEnglishFormat.kif 52758-52758
(termFormat EnglishLanguage ShipRegisterFn "ship register")	domainEnglishFormat.kif 52757-52757

antecedent

(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister))	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area is an instance of national ship register
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA OverseasArea)) (instance (ShipRegisterFn ?AREA) OffshoreShipRegister))	Transportation.kif 1151-1155	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA)))	Transportation.kif 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area

consequent

(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister))	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area is an instance of national ship register
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA OverseasArea)) (instance (ShipRegisterFn ?AREA) OffshoreShipRegister))	Transportation.kif 1151-1155	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA)))	Transportation.kif 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area
(=> (and (instance ?REGISTRATION ShipRegistration) (instance ?SHIP Ship) (possesses ?SHIP ?REGISTRATION) (instance ?AREA GeopoliticalArea) (flagState ?SHIP ?AREA)) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION))	Transportation.kif 1097-1104	If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent, then the ship register of the geopolitical area subsumes the content of the object
(=> (and (instance ?SHIP Ship) (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (exists (?REGISTRATION) (and (instance ?REGISTRATION ShipRegistration) (possesses ?SHIP ?REGISTRATION) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION))))	Transportation.kif 1157-1166	If an agent is an instance of ship and a geopolitical area is an instance of geopolitical area and the agent is a member of the merchant marine of the geopolitical area, then there exists an object such that the object is an instance of ship registration and the agent possesses the object and the ship register of the geopolitical area subsumes the content of the object

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