agent
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
Physical
的使用對於
HotelFunctionRoom
是免費
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
子類
Physical
and
Object
模態屬性
entity
entity
例
entity
and
Physical
例
entity
and
Process
資源
entity
and
entity
儀器
entity
and
entity
患者
entity
and
entity
agent
entity
and
Entity
體驗者
entity
and
Entity
and
可能性
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
例
Process
and
RecreationOrExercise
agent
Process
and
AutonomousAgent
期間
何時
Process
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
PostExertionalMalaise
早期
何時
Process
and
TimeInterval
and
容易
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
持有期間
TimeInterval
and
慾望
AutonomousAgent
and
attribute
Entity
and
死
例
AutonomousAgent
URDER and
謀殺
agent
AutonomousAgent
URDER and
AutonomousAgent
患者
AutonomousAgent
URDER and
Entity
早期
TimeInterval
and
何時
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30650-30671
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
例
Object
and
Meal
例
Process
and
Eating
agent
Process
and
AutonomousAgent
資源
Process
and
Object
期間
何時
Process
and
TimeInterval
測量
Object
and
測量
RealNumber
and
卡路里
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9838-9860
例
Object
and
Antacid
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29608-29620
例
Process
and
Apologizing
agent
Process
and
Process
G
目的地
Process
and
AutonomousAgent
Process
CT
AutonomousAgent
suffers
從
Process
CT
agent
Process
CT and
Process
G
持有期間
何時
Process
and
想要
Process
G and
Process
CT
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
例
AutonomousAgent
and
Biped
例
Process
and
走動
agent
Process
and
AutonomousAgent
模態屬性
entity
entity
例
entity
and
腿
例
entity
and
腿
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
儀器
Process
and
entity
儀器
Process
and
entity
and
容易
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20065-20071
例
AutonomousAgent
and
草食動物
agent
Process
and
AutonomousAgent
例
Process
and
Eating
患者
Process
and
Entity
例
Entity
and
Plant
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9899-9921
例
Object
and
ProtonPumpInhibitor
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
例
Process
and 由
AutonomousAgent
中止的
軍事行動
任務
原因
AutonomousAgent
CTION and
Process
agent
AutonomousAgent
CTION and
entity
_A
agent
軍事行動
and
entity
_A
enemy
entity
_A and
entity
_A
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17142-17163
例
Process
and
加速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
例
AccessingWebPage
and
AccessingWebPage
例
Entity
and
WebPage
例
Process
and
數據傳輸
例
Object
and
服務器
例
Process
and
Requesting
例
AutonomousAgent
and
WebBrowser
例
TimeInterval
and
TimeInterval
患者
AccessingWebPage
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
子過程
Process
and
AccessingWebPage
子過程
Process
and
AccessingWebPage
等於
結束
何時
Process
and
開始
TimeInterval
等於
結束
何時
Process
and
結束
TimeInterval
等於
access
的時間在
AccessingWebPage
and
TimeInterval
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10562-10571
例
Process
and
OrganizationalProcess
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Organization
Collection
例
Collection
and
Organization
會員
AutonomousAgent
and
Collection
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10584-10593
例
Process
and
ReligiousProcess
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
ReligiousOrganization
Collection
會員
AutonomousAgent
and
Collection
例
Collection
and
ReligiousOrganization
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18085-18089
例
Process
and
走動
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
站立
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21756-21768
例
Process
and
伏擊
agent
Process
and
AutonomousAgent
Process
例
Process
and
隱瞞
子過程
Process
and
Process
有目的
Process
and
entity
例
entity
and
攻擊
agent
entity
and
AutonomousAgent
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
例
Process
and
航空攝影偵察
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
拍攝
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
例
Process
and
兩棲偵察
agent
Process
and
AutonomousAgent
Process
子過程
Process
and
Process
例
Process
and
登陸水域
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
例
Process
and
武裝偵察
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
持有期間
何時
Process
and
enemy
CognitiveAgent
and
Entity
賦予權利
entity
例
entity
and
攻擊
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
agent
?ARREST ?AGENT))
(
instance
?AGENT
CognitiveAgent
))
Mid-level-ontology.kif 23481-23485
例
Process
and
被捕
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
例
TimeInterval
and
AddToCart
例
Entity
and
Object
患者
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
Collection
WebSite
,
TimePosition
and
TimeInterval
例
Collection
and
Collection
例
WebSite
and
WebSite
例
TimeInterval
and
TimeInterval
使用者
AutonomousAgent
在
WebSite
有
cart
Collection
等於
開始
TimeInterval
and
結束
TimeInterval
持有期間
TimePosition
and
會員
Entity
and
Collection
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
例
Process
and
AddToCart
例
CognitiveAgent
and
AutonomousAgent
例
Entity
and
Object
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
慾望
CognitiveAgent
and
entity
例
entity
and
Buying
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13431-13440
例
Process
and
攻擊
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有代理人的目的
Process
,
entity
例
entity
and
Damaging
患者
entity
and
Entity
and
AutonomousAgent
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