TreeView Knowledge Base Browser - MereologicalProductFn

appearance as argument number 1

(instance MereologicalProductFn SpatialRelation)	Merge.kif 10032-10032	Mereological product is an instance of spatial relation
(instance MereologicalProductFn BinaryFunction)	Merge.kif 10033-10033	Mereological product is an instance of binary function
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 10034-10034	Mereological product is an instance of total valued relation
(domain MereologicalProductFn 1 Object)	Merge.kif 10035-10035	The number 1 argument of mereological product is an instance of object
(domain MereologicalProductFn 2 Object)	Merge.kif 10036-10036	The number 2 argument of mereological product is an instance of object
(range MereologicalProductFn Object)	Merge.kif 10037-10037	The range of mereological product is an instance of object
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 10038-10038	Mereological product is internally related to mereological difference
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.")	Merge.kif 10040-10042	Mereological product is internally related to mereological difference

appearance as argument number 2

(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 10016-10016	Mereological sum is internally related to mereological product
(termFormat EnglishLanguage MereologicalProductFn "mereological product")	domainEnglishFormat.kif 37187-37187	Mereological sum is internally related to mereological product
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品")	domainEnglishFormat.kif 37188-37188	Mereological sum is internally related to mereological product
(termFormat ChineseLanguage MereologicalProductFn "mereological产品")	domainEnglishFormat.kif 37189-37189	Mereological sum is internally related to mereological product
(format EnglishLanguage MereologicalProductFn "the intersection of the parts of %1 and %2")	english_format.kif 403-403	Mereological sum is internally related to mereological product

antecedent

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

Merge.kif 10044-10051

If equal X, the intersection of the parts of Y, and Z, then For all Object W: W is a part of X if, only if W is a part of Y, and W is a part of Z

consequent

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

Merge.kif 10112-10119

If X is a hole in Y and X is a hole in Z, then there exists W such that W is a proper part of the intersection of the parts of Y, Z, and X is a hole in W

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

KB Term:			Term intersection

English Word: