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 9869-9871
(
documentation
MereologicalDifferenceFn
JapaneseLanguage
"(
MereologicalDifferenceFn
?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される
Object
を示す。")
japanese_format.kif 1597-1598
(
domain
MereologicalDifferenceFn
1
Object
)
Merge.kif 9865-9865
域
分類差異
, 1 and
Object
(
domain
MereologicalDifferenceFn
2
Object
)
Merge.kif 9866-9866
域
分類差異
, 2 and
Object
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9863-9863
例
分類差異
and
BinaryFunction
(
instance
MereologicalDifferenceFn
SpatialRelation
)
Merge.kif 9862-9862
例
分類差異
and
SpatialRelation
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9864-9864
例
分類差異
and
TotalValuedRelation
(
range
MereologicalDifferenceFn
Object
)
Merge.kif 9867-9867
範圍
分類差異
and
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 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
相關的內部概念
mereological產品
and
分類差異
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9826-9826
相關的內部概念
mereological 總和
and
分類差異
(
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
等於
Object
and
分類差異
Object
and
Object
Object
適當的部分
Object
and
Object
適當的部分
Object
and
Object
適當的部分
Object
and
Object
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