TreeView 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	商船的 1 数量是地缘政治区域的 instance
(instance MerchantMarineFn UnaryFunction)	Transportation.kif 964-964	商船是一元函数的 instance
(range MerchantMarineFn MerchantMarine)	Transportation.kif 966-966	商船的 range 是商船的实例

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 37163-37163
(termFormat ChineseTraditionalLanguage MerchantMarineFn "商船")	domainEnglishFormat.kif 37162-37162
(termFormat EnglishLanguage MerchantMarineFn "merchant marine")	domainEnglishFormat.kif 37161-37161

antecedent

(=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (equal ?MM (MerchantMarineFn ?AREA))) (not (equal ?HOME ?AREA)))	Transportation.kif 1064-1068	如果商船对非负整数由来源地缘政治区域 fOC 船只和那个商船 equal 另一个地缘政治区域的 merchant 海洋，然后那个地缘政治区域不 equal 那个另外地缘政治区域
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA)))	Transportation.kif 978-982	如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 merchant 海洋是商船的 instance，然后那个地缘政治区域 possesses 那个地缘政治区域的 merchant 海洋
(=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip))	Transportation.kif 972-976	如果地缘政治区域是地缘政治区域的 instance 和物理是那个地缘政治区域的 merchant 海洋的 member，然后那个物理是商船海运的 instance
(=> (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	如果施事体是船的 instance 和地缘政治区域是地缘政治区域的 instance 和那个施事体是那个地缘政治区域的 merchant 海洋的 member，然后有存在客体这样那个客体是船舶登记的 instance 和那个施事体 possesses 那个客体和那个地缘政治区域的 ship 注册包含那个客体的内容
(=> (instance ?MM (MerchantMarineFn ?AREA)) (exists (?REGISTER) (and (instance ?REGISTER ShipRegister) (possesses ?AREA ?REGISTER) (marineInventory ?MM ?REGISTER))))	Transportation.kif 1113-1119	如果商船是地缘政治区域的 merchant 海洋的 instance，然后有存在船舶登记这样那个船舶登记是船舶登记的 instance 和那个地缘政治区域 possesses 那个船舶登记和那个船舶登记是那个商船的 marine 库存

consequent

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

Transportation.kif 978-982

如果地缘政治区域是地缘政治区域的 instance 和那个地缘政治区域的 merchant 海洋是商船的 instance，
然后那个地缘政治区域 possesses 那个地缘政治区域的 merchant 海洋

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: