Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalDifferenceFn
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 9116-9118
(domain MereologicalDifferenceFn 1 Object) Merge.kif 9112-9112 The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object) Merge.kif 9113-9113 The number 2 argument of mereological difference is an instance of object
(instance MereologicalDifferenceFn BinaryFunction) Merge.kif 9110-9110 Mereological difference is an instance of binary function
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9109-9109 Mereological difference is an instance of spatial relation
(instance MereologicalDifferenceFn TotalValuedRelation) Merge.kif 9111-9111 Mereological difference is an instance of total valued relation
(range MereologicalDifferenceFn Object) Merge.kif 9114-9114 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 9094-9094 Mereological product is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9073-9073 Mereological sum is internally related to mereological difference
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异") domainEnglishFormat.kif 37105-37105 "分类差异" is the printable form of mereological difference in ChineseLanguage
(termFormat ChineseLanguage MereologicalDifferenceFn "部分差异函数") chinese_format.kif 400-400 "部分差异函数" is the printable form of mereological difference in ChineseLanguage
(termFormat ChineseTraditionalLanguage MereologicalDifferenceFn "分類差異") domainEnglishFormat.kif 37104-37104 "分類差異" is the printable form of mereological difference in ChineseTraditionalLanguage
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference") domainEnglishFormat.kif 37103-37103 "mereological difference" is the printable form of mereological difference in english language

antecedent
-------------------------


(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))
Merge.kif 9120-9129


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners