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
surface
Sigma KEE - surface
surface
appearance as argument number 1
(
documentation
surface
ChineseLanguage
"(
surface
?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的
superficialPart
是以最大的程度联系着。注:有些
SelfConnectedObject
有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。")
chinese_format.kif 2838-2840
(
documentation
surface
EnglishLanguage
"(
surface
?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected
superficialPart
of ?OBJ2. Note that some
SelfConnectedObject
s have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.")
Merge.kif 9680-9683
(
documentation
surface
JapaneseLanguage
"(
surface
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続
superficialPart
であることを意味する。 注:一部の
SelfConnectedObject
s には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。")
japanese_format.kif 1582-1584
(
domain
surface
1
SelfConnectedObject
)
Merge.kif 9677-9677
表面
的 1 数量 是
自身连接物体
的
instance
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9678-9678
表面
的 2 数量 是
自身连接物体
的
instance
(
instance
surface
AsymmetricRelation
)
Merge.kif 9674-9674
表面
是
非对称关系
的
instance
(
instance
surface
BinaryPredicate
)
Merge.kif 9675-9675
表面
是
二元谓语
的
instance
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
表面
是
表面部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
surface
"%1 %n 是 %2 的
surface
")
chinese_format.kif 373-373
(
format
EnglishLanguage
surface
"%1 is %n a
surface
of %2")
english_format.kif 374-374
(
format
FrenchLanguage
surface
"%1 est %n une
surface
de %2")
french_format.kif 215-215
(
format
ItalianLanguage
surface
"%1 è %n una superficie di %2")
relations-it.txt 290-290
(
format
JapaneseLanguage
surface
"%1 は %2 の
surface
では %n")
japanese_format.kif 2021-2021
(
format
PortugueseLanguage
surface
"%1 e' %n uma superficie de %2")
portuguese_format.kif 167-167
(
format
cz
surface
"%1 %p{je} %n{nen�} povrchem %2")
relations-cz.txt 222-222
(
format
de
surface
"%1 ist eine flaeche von %2 %n{nicht}")
relations-de.txt 498-498
(
format
hi
surface
"%1 %2 kii sataha %n hai")
relations-hindi.txt 61-61
(
format
ro
surface
"%1 %n{nu} este o
surface
%t{suprafaþã} a lui %2")
relations-ro.kif 235-235
(
format
sv
surface
"%1 är %n{inte} en yta av %2")
relations-sv.txt 232-232
(
format
tg
surface
"%1 %n ay ang ibabaw ng %2")
relations-tg.txt 482-482
(
termFormat
ChineseLanguage
surface
"表面")
chinese_format.kif 374-374
(
termFormat
ChineseTraditionalLanguage
surface
"表面")
domainEnglishFormat.kif 56286-56286
(
termFormat
EnglishLanguage
surface
"surface")
domainEnglishFormat.kif 56285-56285
antecedent
(<=>
(
and
(
altitude
?AIRCRAFT ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
)
(
instance
?AIRCRAFT
Aircraft
))
(
absoluteHeight
?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
飞机
的
altitude
是
自身连接物体
和
那个 自身连接物体
是
行星地球
的
surface
和
那个 飞机
是
飞机
的
instance
若且唯若
高度测量
是
absolute
那个 飞机
的高度
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
如果
凹
是
自身连接物体
的
attribute
和
那个 自身连接物体
是
另一个 自身连接物体
的
surface
和
客体
是
那个 另外 自身连接物体
的
part
和
另一个 客体
是
那个 另外 自身连接物体
的
part
和
第三 客体
equal
那个 客体
和
那个 另外 客体
之间线路 和
那个 客体
不
equal
那个 另外 客体
和
第四 客体
是
那个 第三 客体
的
part
,
然后
那个 第四 客体
在
那个 自身连接物体
的
外
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
如果
凸
是
自身连接物体
的
attribute
和
那个 自身连接物体
是
另一个 自身连接物体
的
surface
和
客体
是
那个 另外 自身连接物体
的
part
和
另一个 客体
是
那个 另外 自身连接物体
的
part
和
第三 客体
equal
那个 客体
和
那个 另外 客体
之间线路 和
那个 客体
不
equal
那个 另外 客体
和
第四 客体
是
那个 第三 客体
的
part
,
然后
那个 第四 客体
在
那个 自身连接物体
的
内
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
如果
属性
是
形状属性
的
instance
和
那个 属性
是
自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后
那个 属性
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
如果
属性
是
纹理属性
的
instance
和
那个 属性
是
自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后
那个 属性
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
如果
客体
是
水晶
的
instance
和
单晶结构
是
那个 客体
的
attribute
和
自身连接物体
是
物质
的
instance
和
固体
是
那个 自身连接物体
的
attribute
和
多晶结构
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
物质
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 客体
不 是
那个 另外 自身连接物体
的
part
,
然后 有存在
那个 客体
LNT,
整数
, and 和
另一个 客体
这样
那个 客体
LNT 是
群体
的
instance
和
那个 整数
是
那个 客体
LNT 的
member
计数 和
那个 整数
是
greaterThanOrEqualTo
4 和
如果
那个 另外 客体
是
那个 客体
LNT 的
member
,
然后
那个 另外 客体
是
那个 自身连接物体
的
part
和
那个 客体
接上
那个 另外 客体
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
如果
自身连接物体
是
液体滴
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 有存在
那个 另外 自身连接物体
S 和
另一个 实体
这样
那个 另外 实体
是
物质
的
instance
和
液体
是
那个 另外 实体
的
attribute
和
那个 自身连接物体
不
equal
那个 另外 实体
和
那个 另外 自身连接物体
S 是
那个 另外 实体
的
surface
和
那个 另外 自身连接物体
接上
那个 另外 自身连接物体
S 的声明 has
较不可能
的语气
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
如果
过程
是
测量
的
instance
和
自身连接物体
是
那个 过程
的
patient
和
那个 自身连接物体
是
行星地球
的
surface
和
长度测量
是
那个 过程
的
result
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
气压高度计
的
instance
,
然后
那个 长度测量
是
那个 自身连接物体
的
elevation
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
如果
自身连接物体
是
客体
的
instance
和
中凸的圆形
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
二维物体
的
instance
,
然后 对所有
几何点
那个 几何点
是
那个 自身连接物体
的
part
和
几何点
是
那个 几何点
的
attribute
和
那个 几何点
是
那个 自身连接物体
的顶点 和
那个 几何点
接上
那个 自身连接物体
和
那个 几何点
接上
那个 另外 自身连接物体
和 有存在
一维图
这样
那个 另外 自身连接物体
的
tangent
是
那个 一维图
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1316-1322
如果
自身连接物体
是
铺好的跑道
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后
那个 另外 自身连接物体
是
沥青
的
instance
或
那个 另外 自身连接物体
是
具体
的
instance
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1324-1329
如果
自身连接物体
是
跑道
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
沥青
的
instance
,
然后
那个 自身连接物体
是
铺好的跑道
的
instance
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1331-1336
如果
自身连接物体
是
跑道
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
具体
的
instance
,
然后
那个 自身连接物体
是
铺好的跑道
的
instance
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
如果
自身连接物体
是
海洋
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 0.0
脚长
是
那个 另外 自身连接物体
的
elevation
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
如果
自身连接物体
是
海洋
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 0.0
仪表
是
那个 另外 自身连接物体
的
elevation
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
如果
客体
是
地下区域
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
实数
那个 测量单位
above
地表 和
自身连接物体
是
行星地球
的
surface
和
另一个 客体
是
那个 自身连接物体
的
part
和
那个 客体
在
那个 另外 客体
的
下面
和
那个 另外 客体
是
另一个 实数
那个 测量单位
above
地表,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
如果
自身连接物体
是
另一个 自身连接物体
的
surface
,
然后 对所有
客体
如果
那个 客体
是
那个 另外 自身连接物体
的
superficialPart
,
然后
那个 客体
是
那个 自身连接物体
的
part
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
客体
是
长度测量
above
地表 若且唯若 有存在
自身连接物体
这样
那个 客体
的
altitude
是
那个 自身连接物体
和
那个 自身连接物体
是
行星地球
的
surface
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
如果
自身连接物体
是
液体滴
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 有存在
那个 另外 自身连接物体
S 和
另一个 实体
这样
那个 另外 实体
是
物质
的
instance
和
液体
是
那个 另外 实体
的
attribute
和
那个 自身连接物体
不
equal
那个 另外 实体
和
那个 另外 自身连接物体
S 是
那个 另外 实体
的
surface
和
那个 另外 自身连接物体
接上
那个 另外 自身连接物体
S 的声明 has
较不可能
的语气
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
如果
过程
是
测量
的
instance
和
物理
是
那个 过程
的
patient
和
长度测量
是
那个 过程
的
result
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
绝对高度计
的
instance
,
然后 有存在
那个 物理
2 这样
那个 物理
的
altitude
是
那个 物理
2 和
那个 物理
2 是
行星地球
的
surface
(=>
(
and
(
instance
?PAINT
Painting
)
(
patient
?PAINT ?SURFACE)
(
resource
?PAINT ?STUFF))
(
exists
(?OBJ)
(
and
(
surface
?SURFACE ?OBJ)
(
instance
?STUFF
Paint
))))
Mid-level-ontology.kif 3188-3196
如果
过程
是
绘画
的
instance
和
自身连接物体
是
那个 过程
的
patient
和
客体
是
那个 过程
的
resource
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
和
那个 客体
是
涂料
的
instance
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
如果
命题
是
争论
的
instance
和
过程
是
推理
的
instance
和
另一个 命题
是
Archeology
的
instance
和
那个 命题
是
那个 另外 命题
的
subProposition
和
那个 过程
表示
那个 命题
的内容,
然后 有存在
另一个 过程
,
实体
,, ,
物理
,, ,
实数
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 另外 过程
是
发现
的
instance
和
那个 物理
是
客体
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 过程
提到
那个 另外 过程
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 物理
的
age
是
那个 实数
年持续时间
和
那个 实数
是
greaterThan
50 和
那个 实体
是
那个 另外 实体
的
surface
和
那个 另外 实体
是
水体
的
instance
和
那个 物理
在
那个 实体
的
下面
或
那个 实体
是
那个 第三 实体
的
surface
和
那个 第三 实体
是
土地面积
的
instance
和
那个 物理
在
那个 实体
的
下面
在 紧接
那个 另外 过程
出现 的
time
before
holdsDuring
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5003-5008
如果
自身连接物体
是
气泡
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
液体
是
那个 另外 自身连接物体
的
attribute
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857
如果
物理
是
洗涤剂
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
物质
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
那个 实体
的源头 和
那个 第三 实体
是
那个 第四 实体
的
surface
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 9396-9402
如果
物理
是
病变
的
instance
,
然后 有存在
自身连接物体
和
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
器官
的
instance
和
那个 物理
是
located
在
那个 自身连接物体
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1205-1210
如果
自身连接物体
是
病毒核心信封
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
病毒核心
的
instance
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2302-2308
如果
自身连接物体
是
PeelOrRind
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
part
和
那个 另外 自身连接物体
是
水果或蔬菜
的
instance
和
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
(=>
(
instance
?PD
PaintingDevice
)
(
hasPurpose
?PD
(
exists
(?STUFF ?COVER ?SURF ?OBJ)
(
and
(
instance
?STUFF
Substance
)
(
instance
?COVER
Covering
)
(
instance
?OBJ
Object
)
(
surface
?SURF ?OBJ)
(
agent
?COVER ?PD)
(
instrument
?COVER ?STUFF)
(
patient
?COVER ?SURF)))))
Mid-level-ontology.kif 3262-3273
如果
物理
是
绘画装置
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
物质
的
instance
和
那个 另外 实体
是
遮盖
的
instance
和
那个 第四 实体
是
客体
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
surface
和
那个 物理
是
那个 另外 实体
的
agent
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 第三 实体
是
那个 另外 实体
的
patient
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
如果
客体
是
皮肤
的
instance
,
然后 有存在
自身连接物体
和
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
和
那个 客体
是
那个 另外 自身连接物体
的
part
和
那个 另外 自身连接物体
是
动物
的
instance
和
那个 客体
和
那个 自身连接物体
重叠
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 473-480
如果
客体
是
CellWall
的
instance
,
然后 有存在
自身连接物体
和
另一个 自身连接物体
这样
那个 自身连接物体
是
细胞
的
instance
和
那个 客体
是
那个 自身连接物体
的
part
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
那个 客体
的
part
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
如果
物理
是
陆地车辆
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
地理区域
的
surface
和
那个 实体
是
运输
的
instance
和
那个 物理
接上
那个 另外 实体
在
那个 实体
出现 的
time
holdsDuring
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
如果
客体
是
地铁系统
的
instance
,
然后 有存在
自身连接物体
这样
那个 自身连接物体
是
地理区域
的
surface
和
那个 客体
在
那个 自身连接物体
的
下面
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
如果
客体
是
地下区域
的
instance
,
然后 有存在
另一个 客体
和
自身连接物体
这样
那个 自身连接物体
是
行星地球
的
surface
和
那个 另外 客体
是
那个 自身连接物体
的
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