MerchantMarineFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MerchantMarineFn EnglishLanguage "(MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA.")	Transportation.kif 968-970
(domain MerchantMarineFn 1 GeopoliticalArea)	Transportation.kif 965-965	The number 1 argument of merchant marine is an instance of geopolitical area
(instance MerchantMarineFn UnaryFunction)	Transportation.kif 964-964	Merchant marine is an instance of unary function
(range MerchantMarineFn MerchantMarine)	Transportation.kif 966-966	The range of merchant marine is an instance of merchant marine

appearance as argument number 2

(format ChineseLanguage MerchantMarineFn "%1 的 merchant 海洋")	domainEnglishFormat.kif 1703-1703
(format ChineseTraditionalLanguage MerchantMarineFn "%1 的 merchant 海洋")	domainEnglishFormat.kif 1702-1702
(format EnglishLanguage MerchantMarineFn "the merchant marine of %1")	domainEnglishFormat.kif 1701-1701
(termFormat ChineseLanguage MerchantMarineFn "商船")	domainEnglishFormat.kif 37187-37187
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船")	domainEnglishFormat.kif 37186-37186
(termFormat EnglishLanguage MerchantMarineFn "merchant marine")	domainEnglishFormat.kif 37185-37185

antecedent

(=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (equal ?MM (MerchantMarineFn ?AREA))) (not (equal ?HOME ?AREA)))	Transportation.kif 1064-1068	If a merchant marine fOC ships by origin a geopolitical area for a nonnegative integer and the merchant marine is equal to the merchant marine of another geopolitical area, then the geopolitical area is not equal to the other geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA)))	Transportation.kif 978-982	If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine, then the geopolitical area possesses the merchant marine of the geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip))	Transportation.kif 972-976	If a geopolitical area is an instance of geopolitical area and a physical is a member of the merchant marine of the geopolitical area, then the physical is an instance of merchant marine ship
(=> (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
(=> (instance ?MM (MerchantMarineFn ?AREA)) (exists (?REGISTER) (and (instance ?REGISTER ShipRegister) (possesses ?AREA ?REGISTER) (marineInventory ?MM ?REGISTER))))	Transportation.kif 1113-1119	If a merchant marine is an instance of the merchant marine of a geopolitical area, then there exists a ship register such that the ship register is an instance of ship register and the geopolitical area possesses the ship register and the ship register is a marine inventory of the merchant marine

consequent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))

Transportation.kif 978-982

If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine,
then the geopolitical area possesses the merchant marine of the geopolitical area

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

KB Term:			Term intersection

English Word: