MereologicalDifferenceFn - Sigma Knowledge base Browser

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 9898-9900
(documentation MereologicalDifferenceFn JapaneseLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。")	japanese_format.kif 1597-1598
(domain MereologicalDifferenceFn 1 Object)	Merge.kif 9894-9894	The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object)	Merge.kif 9895-9895	The number 2 argument of mereological difference is an instance of object
(instance MereologicalDifferenceFn BinaryFunction)	Merge.kif 9892-9892	Mereological difference is an instance of binary function
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 9891-9891	Mereological difference is an instance of spatial relation
(instance MereologicalDifferenceFn TotalValuedRelation)	Merge.kif 9893-9893	Mereological difference is an instance of total valued relation
(range MereologicalDifferenceFn Object)	Merge.kif 9896-9896	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 9876-9876	Mereological product is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 9855-9855	Mereological sum is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异")	domainEnglishFormat.kif 37207-37207	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 37206-37206	Mereological sum is internally related to mereological difference
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference")	domainEnglishFormat.kif 37205-37205	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 9902-9911

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: