orientation
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
attribute
Object
and
Suite
例
Object
and
HotelUnit
Object
Object
例
Object
and
HotelRoom
例
Object
and
HotelRoom
方位
Object
,
Object
and
內
方位
Object
,
Object
and
內
等於
Object
and
Object
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
底部
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
連接的
Object
and
SelfConnectedObject
方位
Object
,
SelfConnectedObject
and
以上
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
例
Object
and
BodyAreaFn
BodyPart
例
Object
and
Animal
部分
Object
and
Object
Object
例
Object
and
BodyPart
方位
Object
,
Object
and
近
部分
Object
and
Object
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
例
Object
and
Animal
例
Object
and
BodySideFn
AntiSymmetricPositionalAttribute
and
BodyPart
相反的屬性
AntiSymmetricPositionalAttribute
and
AntiSymmetricPositionalAttribute
O
attribute
Object
and
Healthy
Object
O
例
Object
O and
BodySideFn
AntiSymmetricPositionalAttribute
O and
BodyPart
方位
Object
,
Object
O and
AntiSymmetricPositionalAttribute
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
例
Process
and
InPersonCommunication
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
持有期間
Process
and
方位
AutonomousAgent
,
AutonomousAgent
and
近
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
例
Object
and
下巴
例
Object
and
面對
部分
Object
and
Object
Object
部分
Object
and
Object
部分
Object
and
Object
方位
Object
,
Object
and
下面
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
例
Process
and
拆卸
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
持有期間
結束
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
例
DirectionalAttribute
and
DirectionalAttribute
例
GeographicArea
and
GeographicArea
例
DirectionalAttribute
和
GeographicArea
的
directional
次要地區 and
GeographicArea
方位
DirectionalAttribute
和
GeographicArea
的
directional
次要地區,
GeographicArea
的
geographic
中心 and
DirectionalAttribute
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11587-11592
例
Process
and
落下
起源
Process
and
Object
目的地
Process
and
Object
方位
Object
,
Object
and
下面
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
例
Object
and
Eyebrow
attribute
Object
and
Healthy
部分
Object
and
Object
Object
YE
例
Object
YE and
眼睛
部分
Object
YE and
Object
方位
Object
YE,
Object
and
近
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
例
Object
and
Eyebrow
持有期間
TimePosition
and
attribute
Object
and
Healthy
attribute
Object
and
站立
部分
Object
and
Object
Object
YE
例
Object
YE and
眼睛
部分
Object
YE and
Object
方位
Object
,
Object
YE and
以上
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
例
Object
and
Forehead
持有期間
TimePosition
and
attribute
Object
and
Healthy
attribute
Object
and
站立
部分
Object
and
Object
Object
YE
例
Object
YE and
眼睛
部分
Object
YE and
Object
方位
Object
,
Object
YE and
以上
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
例
WaterArea
and
瀑布
例
水運動
and
水運動
WaterArea
是
水運動
的
flow
流量
起源
水運動
and
Object
目的地
水運動
and
Object
例
Object
and
WaterArea
例
Object
and
WaterArea
方位
Object
,
Object
and
以上
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
例
Object
and
Continent
等於
Object
and
南極洲
方位
南極洲
,
Object
and
南
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
例
Process
and
安裝
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
持有期間
結束
何時
Process
and
方位
AutonomousAgent
,
Entity
and
上
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13282-13287
例
Process
and
Meeting
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持有期間
何時
Process
and
方位
AutonomousAgent
,
AutonomousAgent
and
近
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
例
CorpuscularObject
and
MiddleCIButton
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
電腦輸入設備
CorpuscularObject
CorpuscularObject
例
CorpuscularObject
and
RightCIButton
例
CorpuscularObject
and
LeftCIButton
零件
CorpuscularObject
and
CorpuscularObject
零件
CorpuscularObject
and
CorpuscularObject
之間
CorpuscularObject
,
CorpuscularObject
and
CorpuscularObject
方位
CorpuscularObject
,
CorpuscularObject
and
左
方位
CorpuscularObject
,
CorpuscularObject
and
右
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17065-17069
例
PositionalAttribute
and
AntiSymmetricPositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
例
PositionalAttribute
and
SymmetricPositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
例
CorpuscularObject
and
PhysicalRightCIButton
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
電腦輸入設備
CorpuscularObject
例
CorpuscularObject
and
PhysicalLeftCIButton
零件
CorpuscularObject
and
CorpuscularObject
方位
CorpuscularObject
,
CorpuscularObject
and
左
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM))
(
exists
(?PL)
(
and
(
instance
?PL
ParkingLot
)
(
orientation
?RS1 ?PL
Adjacent
))))
Medicine.kif 5147-5155
例
Object
and
StripMall
例
Object
and
零售店
部分
Object
and
Object
Object
例
Object
and
停車場
方位
Object
,
Object
and
鄰
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
例
Entity
and
PlantStem
例
Entity
and
植物根
模態屬性
方位
Entity
,
Entity
and
以上
and
容易
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
例
Transfer
and
Thoracentesis
患者
Transfer
and
Object
Transfer
Object
,
Transfer
N,
Object
,
Object
and
Object
例
Transfer
and
插入
子過程
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Transfer
N
例
Object
and
Needle
attribute
Object
and
流體
objectTransferred
Transfer
and
Object
目的地
Object
and
Object
例
Object
and
肺
例
Object
and
Chest
部分
Object
and
Object
部分
Object
and
Object
起源
Transfer
and
Transfer
N
目的地
Transfer
and
Object
之間
Object
,
Transfer
N and
Object
方位
Object
,
Object
and
外
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
例
Object
and
VentedChestSeal
例
Transfer
and
Attaching
objectTransferred
Transfer
and
Object
目的地
Transfer
and
Entity
有目的
Object
and
Transfer
entity
,
entity
and
Entity
例
Transfer
and
空氣
例
entity
and
肺
例
entity
and
Chest
部分
entity
and
Entity
部分
entity
and
Entity
持有期間
不久的過去
何時
Transfer
and
之間
entity
,
Transfer
and
entity
有目的
Object
and
持有期間
眼前的未來
何時
Transfer
and
方位
Transfer
,
Entity
and
外
(=>
(
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
例
Proposition
and
爭論
例
Process
and
Reasoning
例
Proposition
and
Archeology
次提案
Proposition
and
Proposition
實現
Process
and
Proposition
Process
entity
,
Physical
,
RealNumber
,
entity
and
entity
例
Process
and
發現
例
Physical
and
Object
患者
Process
and
Physical
參照
Process
and
Process
早期
何時
Process
and
何時
Process
年齡
Physical
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 50
持有期間
不久的過去
何時
Process
and
表面
entity
and
entity
例
entity
and
水體
方位
Physical
,
entity
and
下面
表面
entity
and
entity
例
entity
and
LandArea
方位
Physical
,
entity
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