TreeView Knowledge Base Browser - MereologicalDifferenceFn

appearance as argument number 1

(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 10053-10053	Mereological difference is an instance of spatial relation
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 10054-10054	Mereological difference is an instance of binary function
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 10055-10055	Mereological difference is an instance of total valued relation
(domain MereologicalDifferenceFn 1 Object)	Merge.kif 10056-10056	The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object)	Merge.kif 10057-10057	The number 2 argument of mereological difference is an instance of object
(range MereologicalDifferenceFn Object)	Merge.kif 10058-10058	The range of mereological difference is an instance of object
(documentation MereologicalDifferenceFn EnglishLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2.")	Merge.kif 10060-10062	The range of mereological difference is an instance of object

appearance as argument number 2

(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 10017-10017	Mereological sum is internally related to mereological difference
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 10038-10038	Mereological product is internally related to mereological difference
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference")	domainEnglishFormat.kif 37181-37181	Mereological product is internally related to mereological difference
(termFormat ChineseTraditionalLanguage MereologicalDifferenceFn "分類差異")	domainEnglishFormat.kif 37182-37182	Mereological product is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异")	domainEnglishFormat.kif 37183-37183	Mereological product is internally related to mereological difference
(format EnglishLanguage MereologicalDifferenceFn "the difference between the parts of %1 and %2")	english_format.kif 405-405	Mereological product is internally related to mereological difference

antecedent

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

Merge.kif 10064-10073

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

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

KB Term:			Term intersection

English Word: