hasPurpose
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
例
Process
and
商業服務
agent
Process
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
目的地
Process
and
Entity
有目的
Process
and
entity
例
entity
and
FinancialTransaction
目的地
entity
and
AutonomousAgent
起源
entity
and
Entity
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4054-4069
例
Object
and
Tailpipe
例
Object
R and
Transfer
例
Entity
and
Exhaust
例
Object
and
汽車
例
Object
ES and
AutomobileExhaustSystem
部分
Object
and
Object
路徑
Object
R and
Object
患者
Object
R and
Entity
有目的
Object
and
entity
部分
entity
and
Object
beforeOnPath
Object
,
entity
,
Object
ES and
Object
R
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
例
Process
and
Transportation
例
Object
and
輪
例
Object
and
汽車
部分
Object
and
Object
儀器
Process
and
Object
例
Object
B and
AntilockBrake
例
Process
and
減速
儀器
Process
and
Object
B
部分
Object
B and
Object
有目的
Object
B and
entity
例
entity
and
旋轉
期間
entity
and
Process
(=>
(
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
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
例
Object
and
高精度武器
儀器
Process
and
Object
患者
Process
and
Entity
有目的
Object
and
entity
entity
例
entity
and
Damaging
子過程
entity
and
Process
患者
entity
and
entity
等於
Entity
and
entity
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
例
Object
and
CarAlarm
例
Object
and
自供電公路車輛
部分
Object
and
Object
entity
entity
,
entity
and
entity
有目的
Object
and
例
entity
and
偷竊行為
例
entity
and
Damaging
例
entity
and
Human
agent
entity
and
entity
患者
entity
and
Object
等於
何時
entity
and
entity
entity
是
partly
located
在
entity
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
有目的
entity
and
增加可能性
entity
例
entity
and
Human
持有期間
entity
and
方位
entity
,
entity
and
近
and
知道
entity
and
entity
例
entity
and
偷竊行為
例
entity
and
Damaging
entity
是
partly
located
在
entity
持有期間
entity
and
患者
entity
and
Object
飾面
何時
entity
and
何時
entity
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26445-26463
例
Object
and
FireAlarm
attribute
Object
and
設備上
位於
Object
and
Object
Process
例
Process
and
RadiatingSound
儀器
Process
and
Object
有目的
Process
and
entity
例
entity
and
一群人
位於
entity
and
Object
知道
entity
and
entity
例
entity
and
火
entity
是
located
在
Object
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
例
Physical
and
HotelFunctionRoom
元件
Physical
and
屬性
AutonomousAgent
有目的
Physical
and
entity
例
entity
and
租
患者
entity
and
Physical
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
例
Object
and
Nursery
元件
Object
and
屬性
AutonomousAgent
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
entity
attribute
Object
and
CommunalAttribute
採用
AutonomousAgent
and
CognitiveAgent
有目的
CognitiveAgent
and
例
entity
and
ChildCareService
服務提供者
entity
and
CognitiveAgent
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3539-3560
例
可穿戴物品
and
呼吸器
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
防止
entity
and
entity
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
例
entity
and
Human
患者
entity
and
entity
例
entity
and
吸入
agent
entity
and
entity
原因
entity
and
entity
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
例
Physical
and
SurveillanceSystem
會員
Physical
and
Collection
會員
Physical
and
Collection
位於
Collection
and
Object
例
Collection
and
相機
位於
Collection
and
Object
等於
Object
and
Object
例
Collection
and
VideoDisplay
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Process
entity
是
located
在
Object
代表
entity
and
entity
儀器
entity
and
相機
結果
entity
and
entity
例
entity
and
RadiatingLight
儀器
entity
and
Collection
患者
entity
and
entity
之前
開始
entity
and
開始
entity
之前
開始
entity
and
開始
entity
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
AutonomousAgent
offers
拍賣樣品在
MealPlan
例
MealPlan
and
MealPlan
類別
RelationalAttribute
的
meals
是包含在
MealPlan
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
是在
AutonomousAgent
的
guest
CognitiveAgent
buys
MealPlan
從
AutonomousAgent
持有期間
何時
CognitiveAgent
是在
AutonomousAgent
的
guest
and
entity
持有期間
entity
and
entity
attribute
entity
and
RelationalAttribute
有目的
entity
and
entity
例
entity
and
Eating
agent
entity
and
CognitiveAgent
患者
entity
and
entity
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
suppliesBlood
動脈
and
BodyPart
例
Physical
and
動脈
例
Entity
and
BodyPart
有目的
Physical
and
entity
entity
例
entity
and
液體運動
objectTransferred
entity
and
entity
例
entity
and
Blood
目的地
entity
and
Entity
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
Virus
例
Transfer
and
Vaccination
體驗者
Transfer
and
AutonomousAgent
例
Vaccine
I and
Vaccine
objectTransferred
Transfer
and
Vaccine
I
有目的
Vaccine
I and
entity
Virus
I
例
entity
and
Infecting
體驗者
entity
and
AutonomousAgent
例
Virus
I and
Virus
objectTransferred
entity
and
Virus
I
(=>
(
attribute
?A
SecurityOfficer
)
(
hasPurpose
?A
(
exists
(?LE)
(
and
(
instance
?LE
LawEnforcement
)
(
agent
?LE ?A)))))
MilitaryPersons.kif 754-760
attribute
Object
and
SecurityOfficer
有目的
Object
and
entity
例
entity
and
執法
agent
entity
and
Object
(=>
(
attribute
?FEED
Fodder
)
(
hasPurpose
?FEED
(
exists
(?ANIMAL ?EAT)
(
and
(
instance
?ANIMAL
DomesticAnimal
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?ANIMAL)
(
patient
?EAT ?FEED)))))
Mid-level-ontology.kif 20051-20059
attribute
Object
and
飼料
有目的
Object
and
entity
entity
例
entity
and
家畜
例
entity
and
Eating
agent
entity
and
entity
患者
entity
and
Object
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21088-21100
attribute
Object
and
藝術評論家
有目的
Object
and
entity
entity
and
entity
例
entity
and
ArtWork
暫時重疊
何時
entity
and
何時
Object
例
entity
and
entity
子類
entity
and
Article
作者
Object
and
entity
參照
entity
and
entity
(=>
(
attribute
?H
IntelligenceOfficer
)
(
hasPurpose
?H
(
exists
(?I)
(
and
(
instance
?I
IntelligenceActivities
)
(
agent
?I ?H)))))
MilitaryPersons.kif 771-777
attribute
Object
and
IntelligenceOfficer
有目的
Object
and
entity
例
entity
and
情報活動
agent
entity
and
Object
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21065-21079
attribute
Object
and
新聞記者
有目的
Object
and
entity
entity
and
entity
例
entity
and
Process
暫時重疊
何時
entity
and
何時
Object
例
entity
and
entity
子類
entity
and
報紙
子類
entity
and
新聞節目
作者
Object
and
entity
參照
entity
and
entity
(=>
(
attribute
?H
Valet
)
(
hasPurpose
?H
(
and
(
instance
?VEHICLE
Vehicle
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?PARK)
(
instance
?PARK
ParkingRegion
)
(
patient
?PUT ?VEHICLE)
(
agent
?PUT ?H))))
TransportDetail.kif 132-141
attribute
Object
and
Valet
有目的
Object
and
例
entity
and
車輛
例
entity
and
Putting
目的地
entity
and
entity
例
entity
and
ParkingRegion
患者
entity
and
entity
agent
entity
and
Object
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29462-29473
attribute
Object
and
CoinOperated
有目的
Object
and
entity
entity
,
entity
and
entity
CT
例
entity
and
貨幣硬幣
例
entity
and
FinancialTransaction
目的地
entity
and
Object
患者
entity
and
entity
起源
entity
and
entity
原因
entity
and
entity
CT
想要
entity
and
entity
CT
(=>
(
attribute
?P
SEAL
)
(
hasPurpose
?P
(
exists
(?S)
(
and
(
instance
?S
SpecialOperation
)
(
agent
?S ?P)))))
MilitaryPersons.kif 796-802
attribute
Object
and
SEAL
有目的
Object
and
entity
例
entity
and
特別行動
agent
entity
and
Object
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
attribute
Object
and
OpenLayout
例
Object
and
Room
Object
Object
and
Object
例
Object
and
Region
例
Object
and
Region
位於
Object
and
Object
位於
Object
and
Object
等於
Object
and
Object
方位
Object
,
Object
and
鄰
Formula
Formula
例
Formula
and
Process
例
Formula
and
Process
有目的
Object
and
Formula
有目的
Object
and
Formula
例
Object
and
AutonomousAgent
位於
Object
and
Object
能力
Seeing
,
agent
and
Object
能力
Seeing
,
患者
and
Object
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
attribute
Object
and
ExpeditionaryForce
有目的
Object
and
entity
entity
and
entity
子組織
Object
and
政府
entity
例
entity
and
Battle
agent
entity
and
Object
例
entity
and
Nation
位於
entity
and
entity
等於
entity
and
entity
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
attribute
Object
and
ArtsAndRecreationTicketingServices
有目的
Object
and
entity
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
Object
例
entity
and
票
目的地
entity
and
entity
有目的
entity
and
賦予權利
entity
entity
例
entity
and
Seeing
agent
entity
and
entity
患者
entity
and
entity
例
entity
and
性能
例
entity
and
Sport
,
Object
and
entity
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