Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 9930-9932
(
documentation
MereologicalSumFn
JapaneseLanguage
"(
MereologicalSumFn
?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る
Object
を示す。")
japanese_format.kif 1593-1594
(
domain
MereologicalSumFn
1
Object
)
Merge.kif 9924-9924
The number 1 argument of
mereological sum
is an
instance
of
object
(
domain
MereologicalSumFn
2
Object
)
Merge.kif 9925-9925
The number 2 argument of
mereological sum
is an
instance
of
object
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9922-9922
Mereological sum
is an
instance
of
binary function
(
instance
MereologicalSumFn
SpatialRelation
)
Merge.kif 9921-9921
Mereological sum
is an
instance
of
spatial relation
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9923-9923
Mereological sum
is an
instance
of
total valued relation
(
range
MereologicalSumFn
Object
)
Merge.kif 9926-9926
The
range
of
mereological sum
is an instance of
object
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9928-9928
Mereological sum
is
internally
related to
mereological difference
(
relatedInternalConcept
MereologicalSumFn
MereologicalProductFn
)
Merge.kif 9927-9927
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 37202-37202
(
termFormat
ChineseLanguage
MereologicalSumFn
"部分总和函数")
chinese_format.kif 396-396
(
termFormat
ChineseTraditionalLanguage
MereologicalSumFn
"mereological 總和")
domainEnglishFormat.kif 37201-37201
(
termFormat
EnglishLanguage
MereologicalSumFn
"mereological sum")
domainEnglishFormat.kif 37200-37200
(
termFormat
de
MereologicalSumFn
"MereologischeSummeFn")
terms-de.txt 310-310
antecedent
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9657-9661
If
equal
an object
and 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 9651-9655
If
an object
is an
instance
of
self connected object
and
equal
the object
and 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 9934-9941
If
equal
an object
and 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 10032-10039
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 3305-3311
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
equal
the object
and 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 14510-14516
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
equal
the third object
and
the object
and
equal
the other object
and 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 14277-14284
If
an object
is an
instance
of
water area
,
then there exist
another object
,
a hole
and
a third object
such that
equal
the
host
of the hole
the hole
and
the other object
and
the third object
is an
instance
of
water
and
the third object
properly
fill
s
the hole
and
equal
the
union
of the parts of
the other object
and
the third object
and
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 1375-1384
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
equal
the object
and 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 9793-9799
If
an object
is an
instance
of
hydrocarbon
,
then there exist
another object
and
a third object
such that
equal
the object
and 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 14525-14536
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
equal
the third object
and
the object
and
equal
the fourth object
and
the object
and
equal
the third object
and
the fourth object
and
equal
the other object
and 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