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
部分总和函数
的 1 数量 是
客体
的
instance
(
domain
MereologicalSumFn
2
Object
)
Merge.kif 9787-9787
部分总和函数
的 2 数量 是
客体
的
instance
(
instance
MereologicalSumFn
BinaryFunction
)
Merge.kif 9784-9784
部分总和函数
是
二元函数
的
instance
(
instance
MereologicalSumFn
SpatialRelation
)
Merge.kif 9783-9783
部分总和函数
是
空间关系
的
instance
(
instance
MereologicalSumFn
TotalValuedRelation
)
Merge.kif 9785-9785
部分总和函数
是
总值关系
的
instance
(
range
MereologicalSumFn
Object
)
Merge.kif 9788-9788
部分总和函数
的
range
是
客体
的实例
(
relatedInternalConcept
MereologicalSumFn
MereologicalDifferenceFn
)
Merge.kif 9790-9790
部分总和函数
和
部分差异函数
是 内部相关
(
relatedInternalConcept
MereologicalSumFn
MereologicalProductFn
)
Merge.kif 9789-9789
部分总和函数
和
部分积函数
是 内部相关
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
如果
客体
equal
包括属于
另一个 客体
或
第三 客体
的部分 和
那个 第三 客体
和
那个 另外 客体
是
connected
,
然后
那个 客体
是
自身连接物体
的
instance
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
如果
客体
是
自身连接物体
的
instance
和
那个 客体
equal
包括属于
另一个 客体
或
第三 客体
的部分,
然后
那个 第三 客体
和
那个 另外 客体
是
connected
(=>
(
equal
?OBJ3
(
MereologicalSumFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
part
?PART ?OBJ3)
(
or
(
part
?PART ?OBJ1)
(
part
?PART ?OBJ2)))))
Merge.kif 9796-9803
如果
客体
equal
包括属于
另一个 客体
或
第三 客体
的部分,
然后 对所有
第四 客体
那个 第四 客体
是
那个 客体
的
part
若且唯若
那个 第四 客体
是
那个 第三 客体
的
part
或
那个 第四 客体
是
那个 另外 客体
的
part
consequent
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
如果
洞
是
自身连接物体
内的
hole
和
另一个 洞
是
那个 自身连接物体
内的
hole
,
然后 对所有
第三 洞
如果
那个 第三 洞
是 包括属于
那个 另外 洞
或
那个 洞
的部分 的
part
,
然后
那个 第三 洞
是
那个 自身连接物体
内的
hole
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
如果
对称的形状
是
客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是和
那个 第三 客体
完全相同的
copy
和
那个 客体
equal
包括属于
那个 第三 客体
或
那个 另外 客体
的部分
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13177-13183
如果
客体
是
另一个 客体
的
half
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
那个 另外 客体
的
half
和
那个 第三 客体
不
equal
那个 客体
和
那个 另外 客体
equal
包括属于
那个 第三 客体
或
那个 客体
的部分
(=>
(
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
如果
客体
是
水域
的
instance
,
然后 有存在
另一个 客体
,
洞
, and 和
第三 客体
这样 洞
那个 洞
的主体
equal
那个 另外 客体
和
那个 第三 客体
是
水
的
instance
和
那个 第三 客体
适当的
fills
那个 洞
和 包括属于
那个 第三 客体
或
那个 另外 客体
的部分
equal
那个 客体
(=>
(
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
如果
客体
是
房地产
的
instance
,
然后
那个 客体
是
固定人工制品
的
instance
或
那个 客体
是
土地面积
的
instance
或 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
固定人工制品
的
instance
和
那个 第三 客体
是
土地面积
的
instance
和
那个 客体
equal
包括属于
那个 第三 客体
或
那个 另外 客体
的部分
(=>
(
instance
?S
Hydrocarbon
)
(
exists
(?P1 ?P2)
(
and
(
equal
?S
(
MereologicalSumFn
?P1 ?P2))
(
instance
?P1
Carbon
)
(
instance
?P2
Hydrogen
))))
Mid-level-ontology.kif 8587-8593
如果
客体
是
烃
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 客体
equal
包括属于
那个 第三 客体
或
那个 另外 客体
的部分 和
那个 另外 客体
是
碳
的
instance
和
那个 第三 客体
是
氢
的
instance
(=>
(
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
如果
客体
是
另一个 客体
的
third
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
那个 另外 客体
的
third
和
那个 第四 客体
是
那个 另外 客体
的
third
和
那个 第三 客体
不
equal
那个 客体
和
那个 第四 客体
不
equal
那个 客体
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 另外 客体
equal
包括属于 包括属于
那个 第四 客体
或
那个 第三 客体
的部分 或
那个 客体
的部分
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