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
SuperiorLongitudinalMuscle
Sigma KEE - superficialPart
superficialPart
appearance as argument number 1
(
documentation
superficialPart
ChineseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受
MereologicalSumFn
和
MereologicalProductFn
的封闭。")
chinese_format.kif 2834-2837
(
documentation
superficialPart
EnglishLanguage
"(
superficialPart
?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under
MereologicalSumFn
and
MereologicalProductFn
.")
Merge.kif 9680-9685
(
documentation
superficialPart
JapaneseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも
MereologicalSumFn
と
MereologicalProductFn
下の閉ざされた推移的な関係である。")
japanese_format.kif 1578-1581
(
domain
superficialPart
1
Object
)
Merge.kif 9677-9677
表面部分
的 1 数量 是
客体
的
instance
(
domain
superficialPart
2
Object
)
Merge.kif 9678-9678
表面部分
的 2 数量 是
客体
的
instance
(
instance
superficialPart
BinaryPredicate
)
Merge.kif 9676-9676
表面部分
是
二元谓语
的
instance
(
instance
superficialPart
IrreflexiveRelation
)
Merge.kif 9673-9673
表面部分
是
非自反关系
的
instance
(
instance
superficialPart
PartialValuedRelation
)
Merge.kif 9675-9675
表面部分
是
部分值关系
的
instance
(
instance
superficialPart
TransitiveRelation
)
Merge.kif 9674-9674
表面部分
是
传递关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
superficialPart
"%1 %n 是 %2 的
superficialPart
")
chinese_format.kif 371-371
(
format
EnglishLanguage
superficialPart
"%1 is %n a superficial part of %2")
english_format.kif 372-372
(
format
FrenchLanguage
superficialPart
"%1 est %n une partie superficielle de %2")
french_format.kif 214-214
(
format
ItalianLanguage
superficialPart
"%1 è %n una
part
e superficiale di %2")
relations-it.txt 289-289
(
format
JapaneseLanguage
superficialPart
"%1 は %2 の %n superficial 部分では %n")
japanese_format.kif 2020-2020
(
format
PortugueseLanguage
superficialPart
"%1 e' %n uma parte superficial de %2")
portuguese_format.kif 166-166
(
format
cz
superficialPart
"%1 %p{je} %n{nen�} a minim�ln� ��st� %2")
relations-cz.txt 221-221
(
format
de
superficialPart
"%1 ist ein oberflaechliches teil von %2 %n{nicht}")
relations-de.txt 495-495
(
format
hi
superficialPart
"%1 %2 kaa prishhThiiya bhaaga %n hai")
relations-hindi.txt 326-326
(
format
ro
superficialPart
"%1 %n{nu} este o parte superficial%t{de suprafaþã} a lui %2")
relations-ro.kif 234-234
(
format
sv
superficialPart
"%1 är %n{inte} en ytlig
de
l av %2")
relations-sv.txt 231-231
(
format
tg
superficialPart
"%1 %n ay ang bahagi ng mababaw ng %2")
relations-tg.txt 481-481
(
subrelation
bottom
superficialPart
)
Merge.kif 9729-9729
底部
是
表面部分
的
subrelation
(
subrelation
side
superficialPart
)
Merge.kif 9759-9759
边
是
表面部分
的
subrelation
(
subrelation
surface
superficialPart
)
Merge.kif 9698-9698
表面
是
表面部分
的
subrelation
(
subrelation
top
superficialPart
)
Merge.kif 9744-9744
顶部
是
表面部分
的
subrelation
(
termFormat
ChineseLanguage
superficialPart
"肤浅的部分")
domainEnglishFormat.kif 56113-56113
(
termFormat
ChineseLanguage
superficialPart
"表面部分")
chinese_format.kif 372-372
(
termFormat
ChineseTraditionalLanguage
superficialPart
"膚淺的部分")
domainEnglishFormat.kif 56112-56112
(
termFormat
EnglishLanguage
superficialPart
"superficial part")
domainEnglishFormat.kif 56111-56111
antecedent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17710-17719
如果
单色
是
客体
的
attribute
和
另一个 客体
是
那个 客体
的
superficialPart
和
属性
是
那个 另外 客体
的
attribute
和
那个 属性
是
原色
的
instance
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 客体
的
superficialPart
,
然后
那个 属性
是
那个 第三 客体
的
attribute
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29740-29744
如果
covers
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
如果
physicalEnd
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9687-9694
如果
客体
是
另一个 客体
的
superficialPart
,
然后
那个 客体
不 是
那个 另外 客体
的
interiorPart
和 不存在
第三 客体
这样
那个 第三 客体
是
那个 客体
的
interiorPart
(=>
(
superficialPart
?PART ?WHOLE)
(
part
?PART ?WHOLE))
Merge.kif 9669-9671
如果
客体
是
另一个 客体
的
superficialPart
,
然后
那个 客体
是
那个 另外 客体
的
part
consequent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17710-17719
如果
单色
是
客体
的
attribute
和
另一个 客体
是
那个 客体
的
superficialPart
和
属性
是
那个 另外 客体
的
attribute
和
那个 属性
是
原色
的
instance
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 客体
的
superficialPart
,
然后
那个 属性
是
那个 第三 客体
的
attribute
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
如果
长度测量
是
客体
的
elevation
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
地理区域
的
instance
,
然后
那个 另外 客体
是
行星地球
的
superficialPart
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12638-12651
如果
过程
是
表面变化
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
和
实体
这样
那个 另外 客体
是
那个 客体
的
superficialPart
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25251-25261
如果
过程
是
Ironing
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
那个 过程
RON, and 和
第三 客体
这样
那个 第三 客体
是
那个 客体
的
superficialPart
和
那个 另外 过程
是
加热
的
instance
和
那个 过程
RON 是
那个 另外 过程
的
patient
和
那个 第三 客体
是
那个 过程
的
patient
和
那个 过程
RON 是导致
那个 过程
的
instrument
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 25235-25244
如果
过程
是
Roughening
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
那个 过程
ART 这样
那个 过程
ART 是
那个 客体
的
superficialPart
和
粗
是
那个 过程
ART 的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SMOOTH
Smoothing
)
(
patient
?SMOOTH ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?SMOOTH))
(
attribute
?PART
Smooth
)))))
Mid-level-ontology.kif 25219-25228
如果
过程
是
Smoothing
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
superficialPart
和
平滑
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
attribute
?OBJ
Polychromatic
)
(
exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(
and
(
superficialPart
?PART1 ?OBJ)
(
superficialPart
?PART2 ?OBJ)
(
attribute
?PART1 ?COLOR1)
(
attribute
?PART2 ?COLOR2)
(
instance
?COLOR1
ColorAttribute
)
(
instance
?COLOR2
ColorAttribute
)
(
not
(
equal
?COLOR1 ?COLOR2)))))
Merge.kif 17732-17742
如果
多色
是
客体
的
attribute
,
然后 有存在
另一个 客体
,
第三 客体
,, ,
属性
, and 和
另一个 属性
这样
那个 另外 客体
是
那个 客体
的
superficialPart
和
那个 第三 客体
是
那个 客体
的
superficialPart
和
那个 属性
是
那个 另外 客体
的
attribute
和
那个 另外 属性
是
那个 第三 客体
的
attribute
和
那个 属性
是
颜色属性
的
instance
和
那个 另外 属性
是
颜色属性
的
instance
和
那个 属性
不
equal
那个 另外 属性
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10108-10115
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 另外 客体
和
第三 客体
和
那个 另外 客体
重叠,
然后
那个 第三 客体
和
那个 客体
重叠
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10098-10106
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
和
那个 客体
重叠,
然后 有存在
第三 客体
这样
那个 第三 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 第三 客体
和
那个 另外 客体
和
那个 第三 客体
重叠
(=>
(
instance
?COVER
BodyCovering
)
(
exists
(?BODY)
(
and
(
superficialPart
?COVER ?BODY)
(
or
(
instance
?BODY
Organism
)
(
instance
?BODY
BodyPart
)))))
Merge.kif 15099-15106
如果
客体
是
身体外层
的
instance
,
然后 有存在
另一个 客体
这样
那个 客体
是
那个 另外 客体
的
superficialPart
和
那个 另外 客体
是
生物
的
instance
或
那个 另外 客体
是
身体部位
的
instance
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
InnerBoundaryFn
?REGION) ?REGION))
Geography.kif 803-805
如果
地区
是
地区
的
instance
,
然后
那个 地区
的
inner
边界 是
那个 地区
的
superficialPart
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
OuterBoundaryFn
?REGION) ?REGION))
Geography.kif 815-817
如果
地区
是
地区
的
instance
,
然后
那个 地区
的
outer
边界 是
那个 地区
的
superficialPart
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9721-9727
如果
客体
是
另一个 客体
的
interiorPart
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
和
那个 第三 客体
不 重叠
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9707-9712
如果
自身连接物体
是
另一个 自身连接物体
的
surface
,
然后 对所有
客体
如果
那个 客体
是
那个 另外 自身连接物体
的
superficialPart
,
然后
那个 客体
是
那个 自身连接物体
的
part
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