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
Il numero 1 argomenti di
MereologicalDifferenceFn
è un
istanza
di
Oggetto
(
domain
MereologicalDifferenceFn
2
Object
)
Merge.kif 9830-9830
Il numero 2 argomenti di
MereologicalDifferenceFn
è un
istanza
di
Oggetto
(
instance
MereologicalDifferenceFn
BinaryFunction
)
Merge.kif 9827-9827
MereologicalDifferenceFn
è un'
istanza
di
FunzioneBinaria
(
instance
MereologicalDifferenceFn
SpatialRelation
)
Merge.kif 9826-9826
MereologicalDifferenceFn
è un'
istanza
di
RelazioneSpaziale
(
instance
MereologicalDifferenceFn
TotalValuedRelation
)
Merge.kif 9828-9828
MereologicalDifferenceFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
MereologicalDifferenceFn
Object
)
Merge.kif 9831-9831
rango
di
MereologicalDifferenceFn
è un'istanza di
Oggetto
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
è
interamente
correlato a
MereologicalDifferenceFn
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9790-9790
MereologicalSumFn
è
interamente
correlato a
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 9837-9846
Oggetto
is
uguale
a la
differenza
tra le parti di
Oggetto
e
Oggetto
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
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