patient
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
CognitiveAgent
buys
Proposition
從
AutonomousAgent
例
Proposition
and
Proposition
Process
Process
agent
Process
and
CognitiveAgent
實現
Process
and
Proposition
例
Process
and
Buying
患者
Process
and
Process
起源
Process
and
AutonomousAgent
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
能力
ValetParking
,
agent
and
Organization
Organization
是
CognitiveAgent
的
customer
位於
Organization
and
Object
例
Process
and
到達
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Object
Human
佔據位置
Human
,
Valet
and
Organization
模態屬性
entity
entity
例
entity
and
ValetParking
agent
entity
and
Human
患者
entity
and
Entity
目的地
entity
and
entity
例
entity
and
ParkingRegion
and
可能性
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
銀行卡
是
ContentBearingObject
的
card
代號
金融賬戶
是
銀行卡
的
card
帳戶
Process
例
Process
and
Encoding
患者
Process
and
金融賬戶
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
其必須在
TimePoint
之前 在
CognitiveAgent
check
out
CognitiveAgent
是在
CognitiveAgent
的
guest
CognitiveAgent
expects
entity
entity
例
entity
and
TimePoint
患者
entity
and
CognitiveAgent
例
entity
and
CheckOutService
agent
entity
and
CognitiveAgent
之前
開始
何時
entity
and
entity
會是事實
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
等於
測量
RealNumber
and
McgPerKg
and
MassMeasure
是
MassMeasure
的
per
等於
MassMeasure
and
測量
RealNumber
and
微
公克
等於
MassMeasure
and
測量
RealNumber
and
千
公克
Process
SelfConnectedObject
and
SelfConnectedObject
例
Process
and
Ingesting
例
SelfConnectedObject
and
BiologicallyActiveSubstance
例
SelfConnectedObject
and
Organism
患者
Process
and
SelfConnectedObject
agent
Process
and
SelfConnectedObject
MassMeasure
是
SelfConnectedObject
的
weight
MassMeasure
是
SelfConnectedObject
的
weight
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
等於
歌曲
and
song
構成
音樂作品
和
LyricalContent
實現
歌曲
and
Process
Process
Process
患者
Process
and
音樂作品
患者
Process
and
LyricalContent
子過程
Process
and
Process
子過程
Process
and
Process
(=>
(
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
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
CognitiveAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
deviceAccount
用戶帳號
and
電腦
知道
CognitiveAgent
and
用戶帳號
有
password
電腦密碼
知道
CognitiveAgent
and
recoveryKey
entity
and
用戶帳號
擁有
CognitiveAgent
and
電腦
模態屬性
entity
例
entity
and
ChangingPassword
患者
entity
and
用戶帳號
agent
entity
and
CognitiveAgent
and
可能性
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
持有期間
TimePosition
and
attribute
Entity
and
被驅逐
公民
Entity
and
entity
-NATION
例
TimePosition
and
TimeInterval
Process
Object
例
Object
and
Nation
等於
Object
and
entity
-NATION
例
Process
and
易位
起源
Process
and
Object
患者
Process
and
Entity
目的地
Process
and
entity
-NATION
時間部分
TimePosition
and
何時
Process
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
持有期間
TimeInterval
and
Entity
是
Entity
的
spouse
例
TimeInterval
and
TimeInterval
Process
例
Process
and
婚禮
患者
Process
and
Entity
患者
Process
and
Entity
早期
何時
Process
and
TimeInterval
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
例
Process
and
Surgery
患者
Process
and
Entity
Process
例
Process
and
Cutting
例
Entity
and
Animal
患者
Process
and
Entity
子過程
Process
and
Process
(=>
(
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
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
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
例
GeopoliticalArea
and
GeopoliticalArea
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
Process
例
Process
and
Guiding
患者
Process
and
GeopoliticalArea
agent
Process
and
Human
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
例
Object
and
藝術學校
例
Process
and
EducationalProcess
Process
是
located
在
Object
Process
Entity
例
Process
and
Making
患者
Process
and
Entity
例
Entity
and
ArtWork
參照
Process
and
Process
(=>
(
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 13409-13418
例
Process
and
攻擊
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有代理人的目的
Process
,
entity
例
entity
and
Damaging
患者
entity
and
Entity
and
AutonomousAgent
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
例
Entity
and
法律獎勵
參照
Entity
and
Process
例
Process
and
LegalAction
agent
Process
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Getting
體驗者
entity
and
CognitiveAgent
患者
entity
and
entity
貨幣價值
entity
and
entity
,
Entity
and
CognitiveAgent
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
例
金融賬戶
and
金融賬戶
金融賬戶
是被
金融機構
held
Process
例
Process
and
控制一個帳戶
患者
Process
and
金融賬戶
agent
Process
and
金融機構
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Object
Process
例
Object
and
靜脈
例
Object
and
動脈
部分
Object
and
AutonomousAgent
例
Process
and
Damaging
早期
何時
Process
and
何時
Process
患者
Process
and
Object
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
例
Food
and
Object
roastedToTemperature
Food
and
RealNumber
Process
例
Process
and
Heating
患者
Process
and
Food
持有期間
結束
何時
Process
and
測量
Food
and
測量
RealNumber
and
攝氏度
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
例
Object
and
車輛制動器
例
Object
and
車輛
部分
Object
and
Object
有目的
Object
and
entity
例
entity
and
Motion
的
stop
患者
entity
and
Object
儀器
entity
and
Object
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