TreeView Knowledge Base Browser - MereologicalDifferenceFn

appearance as argument number 1

(documentation MereologicalDifferenceFn ChineseLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2)表示 Object 包含属于 ?OBJ1 但不属于 ?OBJ2 的部分。")	chinese_format.kif 2853-2854
(documentation MereologicalDifferenceFn EnglishLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2.")	Merge.kif 9260-9262
(domain MereologicalDifferenceFn 1 Object)	Merge.kif 9256-9256	The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object)	Merge.kif 9257-9257	The number 2 argument of mereological difference is an instance of object
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9254-9254	Mereological difference is an instance of binary function
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 9253-9253	Mereological difference is an instance of spatial relation
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9255-9255	Mereological difference is an instance of total valued relation
(range MereologicalDifferenceFn Object)	Merge.kif 9258-9258	The range of mereological difference is an instance of object

appearance as argument number 2

(format ChineseLanguage MereologicalDifferenceFn "包括 %1 和 %2 差异的部分")	chinese_format.kif 399-399
(format EnglishLanguage MereologicalDifferenceFn "the difference between the parts of %1 and %2")	english_format.kif 408-408
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 9238-9238	Mereological product is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 9217-9217	Mereological sum is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异")	domainEnglishFormat.kif 37111-37111
(termFormat ChineseLanguage MereologicalDifferenceFn "部分差异函数")	chinese_format.kif 400-400
(termFormat ChineseTraditionalLanguage MereologicalDifferenceFn "分類差異")	domainEnglishFormat.kif 37110-37110
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference")	domainEnglishFormat.kif 37109-37109

antecedent

(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))

Merge.kif 9264-9273

If an object is equal to the difference between the parts of another object and a third object,
then for all a fourth object the fourth object is a proper part of the object if and only if the fourth object is a proper part of the other object and the fourth object is not a proper part of the third object

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

KB Term:			Term intersection

English Word: