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 9814-9816
(
documentation
MereologicalSumFn
JapaneseLanguage
"(
MereologicalSumFn
?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る
Object
を示す。")
japanese_format.kif 1593-1594
(
domain
MereologicalSumFn
1
Object
)
Merge.kif 9808-9808
域
mereological 總和
, 1 and
Object
(
domain
MereologicalSumFn
2
Object
)
Merge.kif 9809-9809
域
mereological 總和
, 2 and
Object
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9806-9806
例
mereological 總和
and
BinaryFunction
(
instance
MereologicalSumFn
SpatialRelation
)
Merge.kif 9805-9805
例
mereological 總和
and
SpatialRelation
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9807-9807
例
mereological 總和
and
TotalValuedRelation
(
range
MereologicalSumFn
Object
)
Merge.kif 9810-9810
範圍
mereological 總和
and
Object
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9812-9812
相關的內部概念
mereological 總和
and
分類差異
(
relatedInternalConcept
MereologicalSumFn
MereologicalProductFn
)
Merge.kif 9811-9811
相關的內部概念
mereological 總和
and
mereological產品
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 9543-9547
等於
Object
and
mereological 總和
Object
and
Object
連接的
Object
and
Object
例
Object
and
SelfConnectedObject
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9537-9541
例
Object
and
SelfConnectedObject
等於
Object
and
mereological 總和
Object
and
Object
連接的
Object
and
Object
(=>
(
equal
?OBJ3
(
MereologicalSumFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
part
?PART ?OBJ3)
(
or
(
part
?PART ?OBJ1)
(
part
?PART ?OBJ2)))))
Merge.kif 9818-9825
等於
Object
and
mereological 總和
Object
and
Object
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
consequent
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9916-9923
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
HoleRegion
部分
HoleRegion
and
mereological 總和
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
attribute
Object
and
對稱的形狀
Object
Object
複製
Object
and
Object
等於
Object
and
mereological 總和
Object
and
Object
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13176-13182
Object
是
Object
的
half
Object
Object
是
Object
的
half
等於
Object
and
Object
等於
Object
and
mereological 總和
Object
and
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 14146-14153
例
Object
and
WaterArea
Object
HoleRegion
and
Object
等於
洞主持人
HoleRegion
and
Object
例
Object
and
Water
適當填充
Object
and
HoleRegion
等於
mereological 總和
Object
and
Object
and
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
例
Object
and
房地產
例
Object
and
StationaryArtifact
例
Object
and
LandArea
Object
Object
例
Object
and
StationaryArtifact
例
Object
and
LandArea
等於
Object
and
mereological 總和
Object
and
Object
(=>
(
instance
?S
Hydrocarbon
)
(
exists
(?P1 ?P2)
(
and
(
equal
?S
(
MereologicalSumFn
?P1 ?P2))
(
instance
?P1
Carbon
)
(
instance
?P2
Hydrogen
))))
Mid-level-ontology.kif 8586-8592
例
Object
and
烴
Object
Object
等於
Object
and
mereological 總和
Object
and
Object
例
Object
and
碳
例
Object
and
氫
(=>
(
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 13189-13200
Object
是
Object
的
third
Object
Object
Object
是
Object
的
third
Object
是
Object
的
third
等於
Object
and
Object
等於
Object
and
Object
等於
Object
and
Object
等於
Object
and
mereological 總和
Object
and
mereological 總和
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