Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalDifferenceFn
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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners