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 9833-9835
(documentation MereologicalDifferenceFn JapaneseLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。") japanese_format.kif 1597-1598
(domain MereologicalDifferenceFn 1 Object) Merge.kif 9829-9829 部分差异函数 的 1 数量 是 客体instance
(domain MereologicalDifferenceFn 2 Object) Merge.kif 9830-9830 部分差异函数 的 2 数量 是 客体instance
(instance MereologicalDifferenceFn BinaryFunction) Merge.kif 9827-9827 部分差异函数二元函数instance
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9826-9826 部分差异函数空间关系instance
(instance MereologicalDifferenceFn TotalValuedRelation) Merge.kif 9828-9828 部分差异函数总值关系instance
(range MereologicalDifferenceFn Object) Merge.kif 9831-9831 部分差异函数range客体 的实例

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 9811-9811 部分积函数部分差异函数 是 内部相关
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9790-9790 部分总和函数部分差异函数 是 内部相关
(termFormat ChineseLanguage MereologicalDifferenceFn "分类差异") domainEnglishFormat.kif 37181-37181
(termFormat ChineseLanguage MereologicalDifferenceFn "部分差异函数") chinese_format.kif 400-400
(termFormat ChineseTraditionalLanguage MereologicalDifferenceFn "分類差異") domainEnglishFormat.kif 37180-37180
(termFormat EnglishLanguage MereologicalDifferenceFn "mereological difference") domainEnglishFormat.kif 37179-37179

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


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


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