Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MereologicalDifferenceFn
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
Die Zahl 1 Argument von
MereologicalDifferenceFn
ist ein
fall
von
Object
%n{nicht}
(
domain
MereologicalDifferenceFn
2
Object
)
Merge.kif 9830-9830
Die Zahl 2 Argument von
MereologicalDifferenceFn
ist ein
fall
von
Object
%n{nicht}
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9827-9827
MereologicalDifferenceFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
MereologicalDifferenceFn
SpatialRelation
)
Merge.kif 9826-9826
MereologicalDifferenceFn
ist ein
fall
von
SpatialRelation
%n{nicht}
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9828-9828
MereologicalDifferenceFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
range
MereologicalDifferenceFn
Object
)
Merge.kif 9831-9831
bildbereich
von
MereologicalDifferenceFn
ist ein fall von
Object
{nicht}
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
MereologicalProductFn
ist innerlich verwandt mit
MereologicalDifferenceFn
%n{nicht}
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9790-9790
MereologicalSumFn
ist innerlich verwandt mit
MereologicalDifferenceFn
%n{nicht}
(
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
Wenn
Object
ist gleich die
differenz
zwischen den Teilen von
** Object
und
** Object
%n{nicht},
dann fuer alle
** Object
** ** Object
ist ein
korrektes
teil von
** Object
%n{nicht} genau dann wenn
** ** Object
ist ein
korrektes
teil von
** ** Object
%n{nicht} und
** ** Object
ist ein
korrektes
teil von
** ** Object
nicht
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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