orientation
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
方位
Object
,
Object
and
上
objectTransferred
Transfer
and
Object
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
例
Object
and
盆地
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
方位
Object
,
Object
and
鄰
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
例
SelfConnectedObject
and
山前
attribute
SelfConnectedObject
and
多山的地形
方位
SelfConnectedObject
,
SelfConnectedObject
and
鄰
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
地下區域
例
UnitOfMeasure
and
UnitOfLength
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
表面
SelfConnectedObject
and
行星地球
部分
Object
and
SelfConnectedObject
方位
Object
,
Object
and
下面
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
例
Object
and
谷
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
Object
是
測量
RealNumber
and
UnitOfMeasure
above
地表
方位
Object
,
Object
and
鄰
比較多
RealNumber
and
RealNumber
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
方位
Object
,
Region
and
外
例
Object
and
Region
的
perimeter
地區
例
Object
and
均勻的周邊區域
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Region
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
比較多
減法
RealNumber
and
RealNumber
and 0.0
位於
Object
and
Object
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
方位
Object
,
Region
and
外
例
Object
and
Region
的
perimeter
地區
例
Object
and
均勻的周邊區域
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Region
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
小於或等於
減法
RealNumber
and
RealNumber
and 0.0
位於
Object
and
Object
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
方位
Object
,
Object
and
PositionalAttribute
相反的屬性
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
等於
PositionalAttribute
and
PositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
方位
Object
,
Object
and
PositionalAttribute
例
PositionalAttribute
and
PositionalAttribute
PositionalAttribute
是
PositionalAttribute
的
opposite
方向
方位
Object
,
Object
and
PositionalAttribute
(=>
(
and
(
orientation
?X ?Y
Right
)
(
orientation
?Z ?Y
Left
))
(
orientation
?X ?Z
Right
))
Merge.kif 16931-16935
方位
Object
,
Object
and
右
方位
Object
,
Object
and
左
方位
Object
,
Object
and
右
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
子類
Class
and
Tissue
子類
Class
and
Tissue
例
Object
and
Class
例
Object
and
Class
例
Object
and
Human
部分
Object
and
Object
部分
Object
and
Object
等於
Class
and
Class
子類
Class
and
Class
子類
Class
and
Class
方位
Object
,
Object
and
鄰
模態屬性
entity
例
entity
and
ConnectiveTissue
之間
Object
,
entity
and
Object
and
容易
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
一個在
Object
的人
can
see
Physical
例
Object
and
Room
例
Object
and
Physical
方位
Object
,
Object
and
外
模態屬性
entity
entity
例
entity
and
Human
位於
entity
and
Object
例
entity
and
Seeing
患者
entity
and
Object
agent
entity
and
entity
and
可能性
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
一天的時間
例
Process
and
看著
例
Object
and
Object
Object
是
黑色
的
color
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
晚上的時間
例
Process
and
看著
例
Object
and
Region
attribute
Object
and
發光的
測量
Object
and
測量
1000.0 and
坎德拉
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
方位
Object
,
Object
and
下游
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
方位
Object
,
Object
and
順風
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
方位
Object
,
Object
and
上游的
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
方位
Object
,
Object
and
上風
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?OBJ ?REGION
Inside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9115-9117
方位
Object
,
Object
and
內
例
Object
and
Region
(=>
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9111-9113
方位
Object
,
Object
and
外
例
Object
and
Region
(=>
(
orientation
?OBJ1 ?OBJ2
Above
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17079-17082
方位
Object
,
Object
and
以上
連接的
Object
and
Object
(=>
(
orientation
?OBJ1 ?OBJ2
Downstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Below
))))
Mid-level-ontology.kif 19237-19248
方位
Object
,
Object
and
樓下
Object
Object
and
Object
例
Object
and
建設水平
例
Object
and
建設水平
例
Object
and
Building
部分
Object
and
Object
部分
Object
and
Object
位於
Object
and
Object
位於
Object
and
Object
方位
Object
,
Object
and
下面
(=>
(
orientation
?OBJ1 ?OBJ2
Inside
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17154-17156
方位
Object
,
Object
and
內
位於
Object
and
Object
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
方位
Object
,
Object
and
近
連接的
Object
and
Object
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17137-17139
方位
Object
,
Object
and
近
方位
Object
,
Object
and
近
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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