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 9855-9857
(
documentation
MereologicalDifferenceFn
JapaneseLanguage
"(
MereologicalDifferenceFn
?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される
Object
を示す。")
japanese_format.kif 1597-1598
(
domain
MereologicalDifferenceFn
1
Object
)
Merge.kif 9851-9851
Le nombre 1 argument de
MereologicalDifferenceFn
est une
instance
de
objet
(
domain
MereologicalDifferenceFn
2
Object
)
Merge.kif 9852-9852
Le nombre 2 argument de
MereologicalDifferenceFn
est une
instance
de
objet
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9849-9849
MereologicalDifferenceFn
est une
instance
de
fonction binaire
(
instance
MereologicalDifferenceFn
SpatialRelation
)
Merge.kif 9848-9848
MereologicalDifferenceFn
est une
instance
de
relation spatial
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9850-9850
MereologicalDifferenceFn
est une
instance
de
relation total
(
range
MereologicalDifferenceFn
Object
)
Merge.kif 9853-9853
Le
domaine
de
MereologicalDifferenceFn
est une instance de
objet
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 9833-9833
MereologicalProductFn
est
reli
� � l'int�rieur de SUMO �
MereologicalDifferenceFn
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9812-9812
MereologicalSumFn
est
reli
� � l'int�rieur de SUMO �
MereologicalDifferenceFn
(
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 9859-9868
Objet
est
diff
�rence entre les parties de
objet
et
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
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