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
MereologicalProductFn
Sigma KEE - MereologicalProductFn
MereologicalProductFn
appearance as argument number 1
(
documentation
MereologicalProductFn
ChineseLanguage
"(
MereologicalProductFn
?OBJ1 ?OBJ2)表示
Object
含有属于 ?OBJ1 和 ?OBJ2 两者的部分。")
chinese_format.kif 2851-2852
(
documentation
MereologicalProductFn
EnglishLanguage
"(
MereologicalProductFn
?OBJ1 ?OBJ2)denotes the
Object
consisting of the parts which belong to both ?OBJ1 and ?OBJ2.")
Merge.kif 9813-9815
(
documentation
MereologicalProductFn
JapaneseLanguage
"(
MereologicalProductFn
?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる
Object
を示す。")
japanese_format.kif 1595-1596
(
domain
MereologicalProductFn
1
Object
)
Merge.kif 9808-9808
Die Zahl 1 Argument von
MereologicalProductFn
ist ein
fall
von
Object
%n{nicht}
(
domain
MereologicalProductFn
2
Object
)
Merge.kif 9809-9809
Die Zahl 2 Argument von
MereologicalProductFn
ist ein
fall
von
Object
%n{nicht}
(
instance
MereologicalProductFn
BinaryFunction
)
Merge.kif 9806-9806
MereologicalProductFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
MereologicalProductFn
SpatialRelation
)
Merge.kif 9805-9805
MereologicalProductFn
ist ein
fall
von
SpatialRelation
%n{nicht}
(
instance
MereologicalProductFn
TotalValuedRelation
)
Merge.kif 9807-9807
MereologicalProductFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
range
MereologicalProductFn
Object
)
Merge.kif 9810-9810
bildbereich
von
MereologicalProductFn
ist ein fall von
Object
{nicht}
(
relatedInternalConcept
MereologicalProductFn
MereologicalDifferenceFn
)
Merge.kif 9811-9811
MereologicalProductFn
ist innerlich verwandt mit
MereologicalDifferenceFn
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
MereologicalProductFn
"包括 %1 和 %2 相交的部分")
chinese_format.kif 397-397
(
format
EnglishLanguage
MereologicalProductFn
"the intersection of the parts of %1 and %2")
english_format.kif 403-403
(
format
FrenchLanguage
MereologicalProductFn
"l'intersection des parties de %1 et %2")
french_format.kif 229-229
(
format
ItalianLanguage
MereologicalProductFn
"l' intersezione delle parti di %1 e %2")
relations-it.txt 184-184
(
format
JapaneseLanguage
MereologicalProductFn
"%1 と %2 の部分の intersection")
japanese_format.kif 2031-2031
(
format
PortugueseLanguage
MereologicalProductFn
"a intersecao das partes de %1 e %2")
portuguese_format.kif 181-181
(
format
de
MereologicalProductFn
"der durchschnitt von den teilen von %1 und %2")
relations-de.txt 1020-1020
(
format
hi
MereologicalProductFn
"%1 aura %2 ke bhaagon kaa sarvanishhTha")
relations-hindi.txt 222-222
(
format
ro
MereologicalProductFn
"intersection%t{intersecþia} pãrþilor din %1 ºi %2")
relations-ro.kif 249-249
(
format
sv
MereologicalProductFn
"snittet av delarna av %1 och %2")
relations-sv.txt 249-249
(
relatedInternalConcept
MereologicalSumFn
MereologicalProductFn
)
Merge.kif 9789-9789
MereologicalSumFn
ist innerlich verwandt mit
MereologicalProductFn
%n{nicht}
(
termFormat
ChineseLanguage
MereologicalProductFn
"mereological产品")
domainEnglishFormat.kif 37187-37187
(
termFormat
ChineseLanguage
MereologicalProductFn
"部分积函数")
chinese_format.kif 398-398
(
termFormat
ChineseTraditionalLanguage
MereologicalProductFn
"mereological產品")
domainEnglishFormat.kif 37186-37186
(
termFormat
EnglishLanguage
MereologicalProductFn
"mereological product")
domainEnglishFormat.kif 37185-37185
antecedent
(=>
(
equal
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
part
?PART ?OBJ3)
(
and
(
part
?PART ?OBJ1)
(
part
?PART ?OBJ2)))))
Merge.kif 9817-9824
Wenn
Object
ist gleich der
durchschnitt
von den teilen von
** Object
und
** Object
%n{nicht},
dann fuer alle
** Object
** ** Object
ist ein
teil
von
** Object
%n{nicht} genau dann wenn
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht}
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** ** SelfConnectedObject
ist ein
korrektes
teil von der
durchschnitt
von den teilen von
** SelfConnectedObject
und
** ** SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{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