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 9971-9973
(documentation MereologicalDifferenceFn JapaneseLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。")	japanese_format.kif 1597-1598
(domain MereologicalDifferenceFn 1 Object)	Merge.kif 9967-9967	The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object)	Merge.kif 9968-9968	The number 2 argument of mereological difference is an instance of object
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9965-9965	Mereological difference is an instance of binary function
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 9964-9964	Mereological difference is an instance of spatial relation
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9966-9966	Mereological difference is an instance of total valued relation
(range MereologicalDifferenceFn Object)	Merge.kif 9969-9969	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 405-405
(format FrenchLanguage MereologicalDifferenceFn "la diff�rence entre les parties de %1 et %2")	french_format.kif 230-230
(format ItalianLanguage MereologicalDifferenceFn "la differenza tra le parti di %1 e %2")	relations-it.txt 183-183
(format JapaneseLanguage MereologicalDifferenceFn "the difference between the parts of %1 and %2")	japanese_format.kif 2032-2032
(format PortugueseLanguage MereologicalDifferenceFn "a diferenca entre as partes de %1 e %2")	portuguese_format.kif 182-182
(format de MereologicalDifferenceFn "die differenz zwischen den Teilen von %1 und %2")	relations-de.txt 1023-1023
(format hi MereologicalDifferenceFn "%1 aura %2 ke bhaagon men antara")	relations-hindi.txt 221-221
(format ro MereologicalDifferenceFn "difference%t{diferenþa} dintre pãrþile din %1 ºi %2")	relations-ro.kif 250-250
(format sv MereologicalDifferenceFn "differensen mellan delarna av %1 och %2")	relations-sv.txt 250-250
(format tg MereologicalDifferenceFn "ang diperensya bahagi ng %1 at %2")	relations-tg.txt 360-360
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 9949-9949	Mereological product is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 9928-9928	Mereological sum is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异")	domainEnglishFormat.kif 37190-37190	Mereological sum is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "部分差异函数")	chinese_format.kif 400-400	Mereological sum is internally related to mereological difference
(termFormat ChineseTraditionalLanguage MereologicalDifferenceFn "分類差異")	domainEnglishFormat.kif 37189-37189	Mereological sum is internally related to mereological difference
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference")	domainEnglishFormat.kif 37188-37188	Mereological sum is internally related to mereological difference
(termFormat de MereologicalDifferenceFn "MereologischeDifferenzFn")	terms-de.txt 312-312	Mereological sum 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 9975-9984

If equal an object and 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: