TreeView Knowledge Base Browser - MereologicalProductFn

appearance as argument number 1

(documentation MereologicalProductFn ChineseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。")	chinese_format.kif 2851-2852
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.")	Merge.kif 9835-9837
(documentation MereologicalProductFn JapaneseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる Object を示す。")	japanese_format.kif 1595-1596
(domain MereologicalProductFn 1 Object)	Merge.kif 9830-9830	域 mereological產品, 1 and Object
(domain MereologicalProductFn 2 Object)	Merge.kif 9831-9831	域 mereological產品, 2 and Object
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9828-9828	例 mereological產品 and BinaryFunction
(instance MereologicalProductFn SpatialRelation)	Merge.kif 9827-9827	例 mereological產品 and SpatialRelation
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9829-9829	例 mereological產品 and TotalValuedRelation
(range MereologicalProductFn Object)	Merge.kif 9832-9832	範圍 mereological產品 and Object
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 9833-9833	相關的內部概念 mereological產品 and 分類差異

appearance as argument number 2

(format ChineseLanguage MereologicalProductFn "包括 %1 和 %2 相交的部分")	chinese_format.kif 397-397
(format EnglishLanguage MereologicalProductFn "the intersection of the parts of %1 and %2")	english_format.kif 403-403
(format FrenchLanguage MereologicalProductFn "l'intersection des parties de %1 et %2")	french_format.kif 229-229
(format ItalianLanguage MereologicalProductFn "l' intersezione delle parti di %1 e %2")	relations-it.txt 184-184
(format JapaneseLanguage MereologicalProductFn "%1 と %2 の部分の intersection")	japanese_format.kif 2031-2031
(format PortugueseLanguage MereologicalProductFn "a intersecao das partes de %1 e %2")	portuguese_format.kif 181-181
(format de MereologicalProductFn "der durchschnitt von den teilen von %1 und %2")	relations-de.txt 1020-1020
(format hi MereologicalProductFn "%1 aura %2 ke bhaagon kaa sarvanishhTha")	relations-hindi.txt 222-222
(format ro MereologicalProductFn "intersection%t{intersecþia} pãrþilor din %1 ºi %2")	relations-ro.kif 249-249
(format sv MereologicalProductFn "snittet av delarna av %1 och %2")	relations-sv.txt 249-249
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 9811-9811	相關的內部概念 mereological 總和 and mereological產品
(termFormat ChineseLanguage MereologicalProductFn "mereological产品")	domainEnglishFormat.kif 37187-37187
(termFormat ChineseLanguage MereologicalProductFn "部分积函数")	chinese_format.kif 398-398
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品")	domainEnglishFormat.kif 37186-37186
(termFormat EnglishLanguage MereologicalProductFn "mereological product")	domainEnglishFormat.kif 37185-37185

antecedent

(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))

Merge.kif 9839-9846

等於 Object and mereological產品 Object and Object
Object 部分 Object and Object 部分 Object and Object 部分 Object and Object

consequent

(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))

Merge.kif 9907-9914

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

KB Term:			Term intersection

English Word: