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
MereologicalSumFn
Sigma KEE - MereologicalSumFn
MereologicalSumFn
appearance as argument number 1
(
documentation
MereologicalSumFn
ChineseLanguage
"(
MereologicalSumFn
?OBJ1 ?OBJ2)表示 这个
Object
含有属于 ?OBJ1 或 ?OBJ2 的部分。")
chinese_format.kif 2849-2850
(
documentation
MereologicalSumFn
EnglishLanguage
"(
MereologicalSumFn
?OBJ1 ?OBJ2) denotes the
Object
consisting of the parts which belong to either ?OBJ1 or ?OBJ2.")
Merge.kif 9792-9794
(
documentation
MereologicalSumFn
JapaneseLanguage
"(
MereologicalSumFn
?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る
Object
を示す。")
japanese_format.kif 1593-1594
(
domain
MereologicalSumFn
1
Object
)
Merge.kif 9786-9786
The number 1 argument of
mereological sum
is an
instance
of
object
(
domain
MereologicalSumFn
2
Object
)
Merge.kif 9787-9787
The number 2 argument of
mereological sum
is an
instance
of
object
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9784-9784
Mereological sum
is an
instance
of
binary function
(
instance
MereologicalSumFn
SpatialRelation
)
Merge.kif 9783-9783
Mereological sum
is an
instance
of
spatial relation
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9785-9785
Mereological sum
is an
instance
of
total valued relation
(
range
MereologicalSumFn
Object
)
Merge.kif 9788-9788
The
range
of
mereological sum
is an instance of
object
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9790-9790
Mereological sum
is
internally
related to
mereological difference
(
relatedInternalConcept
MereologicalSumFn
MereologicalProductFn
)
Merge.kif 9789-9789
Mereological sum
is
internally
related to
mereological product
appearance as argument number 2
(
format
ChineseLanguage
MereologicalSumFn
"包括属于 %2 或 %1 的部分")
chinese_format.kif 395-395
(
format
EnglishLanguage
MereologicalSumFn
"the union of the parts of %1 and %2")
english_format.kif 401-401
(
format
FrenchLanguage
MereologicalSumFn
"l' union des parties de %1 et %2")
french_format.kif 228-228
(
format
ItalianLanguage
MereologicalSumFn
"l' unione delle parti di %1 e %2")
relations-it.txt 185-185
(
format
JapaneseLanguage
MereologicalSumFn
"%1 と %2 の union")
japanese_format.kif 2030-2030
(
format
PortugueseLanguage
MereologicalSumFn
"a uniao das partes de %1 e %2")
portuguese_format.kif 180-180
(
format
de
MereologicalSumFn
"die vereinigung von den teilen von %1 und %2")
relations-de.txt 1017-1017
(
format
hi
MereologicalSumFn
"%1 aura %2 ke bhaagon kaa sanyojana")
relations-hindi.txt 223-223
(
format
ro
MereologicalSumFn
"union%t{reuniunea} pãrþilor din %1 ºi %2")
relations-ro.kif 248-248
(
format
sv
MereologicalSumFn
"unionen av delarna av %1 och %2")
relations-sv.txt 248-248
(
format
tg
MereologicalSumFn
"ang pagkakaisa ng bahagi ng %1 at %2")
relations-tg.txt 362-362
(
termFormat
ChineseLanguage
MereologicalSumFn
"mereological 总和")
domainEnglishFormat.kif 37193-37193
(
termFormat
ChineseLanguage
MereologicalSumFn
"部分总和函数")
chinese_format.kif 396-396
(
termFormat
ChineseTraditionalLanguage
MereologicalSumFn
"mereological 總和")
domainEnglishFormat.kif 37192-37192
(
termFormat
EnglishLanguage
MereologicalSumFn
"mereological sum")
domainEnglishFormat.kif 37191-37191
antecedent
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
If
an object
is
equal
to the
union
of the parts of
another object
and
a third object
and
the other object
is
connected
to
the third object
,
then
the object
is an
instance
of
self connected object
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
If
an object
is an
instance
of
self connected object
and
the object
is
equal
to the
union
of the parts of
another object
and
a third object
,
then
the other object
is
connected
to
the third object
(=>
(
equal
?OBJ3
(
MereologicalSumFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
part
?PART ?OBJ3)
(
or
(
part
?PART ?OBJ1)
(
part
?PART ?OBJ2)))))
Merge.kif 9796-9803
If
an object
is
equal
to the
union
of the parts of
another object
and
a third object
,
then for all
a fourth object
the fourth object
is a
part
of
the object
if and only if
the fourth object
is a
part
of
the other object
or
the fourth object
is a
part
of
the third object
consequent
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
If
a hole
is a
hole
in
a self connected object
and
another hole
is a
hole
in
the self connected object
,
then for all
a third hole
if
the third hole
is a
part
of the
union
of the parts of
the hole
and
the other hole
,
then
the third hole
is a
hole
in
the self connected object
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
If
symmetric shape
is an
attribute
of
an object
,
then there exist
another object
and
a third object
such that
the other object
is a
copy
of
the third object
and
the object
is
equal
to the
union
of the parts of
the other object
and
the third object
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13177-13183
If
an object
is
half
of
another object
,
then there exists
a third object
such that
the third object
is
half
of
the other object
and
the third object
is not
equal
to
the object
and
the other object
is
equal
to the
union
of the parts of
the object
and
the third object
(=>
(
instance
?AREA
WaterArea
)
(
exists
(?BED ?HOLE ?WATER)
(
and
(
equal
(
HoleHostFn
?HOLE) ?BED)
(
instance
?WATER
Water
)
(
properlyFills
?WATER ?HOLE)
(
equal
(
MereologicalSumFn
?BED ?WATER) ?AREA))))
Merge.kif 14124-14131
If
an object
is an
instance
of
water area
,
then there exist
another object
,
a hole
and
a third object
such that the
host
of the hole
the hole
is
equal
to
the other object
and
the third object
is an
instance
of
water
and
the third object
properly
fill
s
the hole
and the
union
of the parts of
the other object
and
the third object
is
equal
to
the object
(=>
(
instance
?Estate
RealEstate
)
(
or
(
instance
?Estate
StationaryArtifact
)
(
instance
?Estate
LandArea
)
(
exists
(?Artifact ?Area)
(
and
(
instance
?Artifact
StationaryArtifact
)
(
instance
?Area
LandArea
)
(
equal
?Estate
(
MereologicalSumFn
?Artifact ?Area))))))
FinancialOntology.kif 1359-1368
If
an object
is an
instance
of
real estate
,
then
the object
is an
instance
of
stationary artifact
or
the object
is an
instance
of
land area
or there exist
another object
and
a third object
such that
the other object
is an
instance
of
stationary artifact
and
the third object
is an
instance
of
land area
and
the object
is
equal
to the
union
of the parts of
the other object
and
the third object
(=>
(
instance
?S
Hydrocarbon
)
(
exists
(?P1 ?P2)
(
and
(
equal
?S
(
MereologicalSumFn
?P1 ?P2))
(
instance
?P1
Carbon
)
(
instance
?P2
Hydrogen
))))
Mid-level-ontology.kif 8587-8593
If
an object
is an
instance
of
hydrocarbon
,
then there exist
another object
and
a third object
such that
the object
is
equal
to the
union
of the parts of
the other object
and
the third object
and
the other object
is an
instance
of
carbon
and
the third object
is an
instance
of
hydrogen
(=>
(
third
?T ?W)
(
exists
(?O1 ?O2)
(
and
(
third
?O1 ?W)
(
third
?O2 ?W)
(
not
(
equal
?O1 ?T))
(
not
(
equal
?O2 ?T))
(
not
(
equal
?O1 ?O2))
(
equal
?W
(
MereologicalSumFn
?T
(
MereologicalSumFn
?O1 ?O2))))))
Mid-level-ontology.kif 13190-13201
If
an object
is a
third
of
another object
,
then there exist
a third object
and
a fourth object
such that
the third object
is a
third
of
the other object
and
the fourth object
is a
third
of
the other object
and
the third object
is not
equal
to
the object
and
the fourth object
is not
equal
to
the object
and
the third object
is not
equal
to
the fourth object
and
the other object
is
equal
to the
union
of the parts of
the object
and the
union
of the parts of
the third object
and
the fourth 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