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 9721-9723
(domain MereologicalProductFn 1 Object)	Merge.kif 9716-9716
(domain MereologicalProductFn 2 Object)	Merge.kif 9717-9717
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9714-9714
(instance MereologicalProductFn SpatialRelation)	Merge.kif 9713-9713
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9715-9715
(range MereologicalProductFn Object)	Merge.kif 9718-9718
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 9719-9719

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
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 9697-9697
(termFormat ChineseLanguage MereologicalProductFn "mereological产品")	domainEnglishFormat.kif 37176-37176
(termFormat ChineseLanguage MereologicalProductFn "部分积函数")	chinese_format.kif 398-398
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品")	domainEnglishFormat.kif 37175-37175
(termFormat EnglishLanguage MereologicalProductFn "mereological product")	domainEnglishFormat.kif 37174-37174

antecedent

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

Merge.kif 9725-9732

consequent

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

Merge.kif 9798-9805

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

KB Term:			Term intersection

English Word: