| 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 9869-9871 | |
| (documentation MereologicalDifferenceFn JapaneseLanguage "(MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。") | japanese_format.kif 1597-1598 | |
| (domain MereologicalDifferenceFn 1 Object) | Merge.kif 9865-9865 | |
| (domain MereologicalDifferenceFn 2 Object) | Merge.kif 9866-9866 | |
| (instance MereologicalDifferenceFn BinaryFunction) | Merge.kif 9863-9863 | |
| (instance MereologicalDifferenceFn SpatialRelation) | Merge.kif 9862-9862 | |
| (instance MereologicalDifferenceFn TotalValuedRelation) | Merge.kif 9864-9864 | |
| (range MereologicalDifferenceFn Object) | Merge.kif 9867-9867 |
| 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 9847-9847 | |
| (relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) | Merge.kif 9826-9826 | |
| (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 9873-9882 |
|
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