hasPurpose
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
例
Process
and
防禦性信息操作
agent
Process
and
CognitiveAgent
enemy
CognitiveAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
有目的
Process
and
知道
CognitiveAgent
and
entity
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
例
Process
and
Electrocardiography
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
醫生
有目的
Process
and
知道
AutonomousAgent
and
entity
真相
attribute
Entity
and
ImpairedBodyPartFn
心
and
entity
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
例
Object
and
EngineCylinder
例
HoleRegion
and
Crankcase
例
Physical
and
Piston
例
Process
and
TwoStrokeTransfer
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
例
Physical
and
Piston
例
Process
and
TwoStrokeIntake
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1723-1739
例
CorpuscularObject
and
Exhaust
材料
汽油
and
CorpuscularObject
例
Transfer
and
Transfer
例
CorpuscularObject
NG and
發動機
起源
Transfer
and
CorpuscularObject
NG
例
Physical
and
CatalyticConverter
目的地
Transfer
and
Physical
objectTransferred
Transfer
and
CorpuscularObject
有目的
Physical
and
entity
例
entity
and
Combustion
儀器
entity
and
Physical
患者
entity
and
CorpuscularObject
entity
是
located
在
Physical
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2794-2813
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
例
Entity
and
汽油
例
Entity
and
UnitOfVolume
持有期間
TimePosition
and
包含
Object
and
Entity
測量
Entity
and
測量
entity
and
Entity
attribute
Object
and
EngineFlooded
有目的
Object
and
Entity
entity
例
Entity
and
汽油
包含
Object
and
Entity
測量
Entity
and
測量
entity
and
Entity
大於或等於
entity
and
entity
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2125-2137
例
Object
and
EngineCoolingSystem
例
Object
and
發動機
例
Object
and
汽車
部分
Object
and
Object
部分
Object
and
Object
有目的
Object
and
entity
例
entity
and
Cooling
儀器
entity
and
Object
患者
entity
and
Object
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11677-11685
例
Process
and
EducationalProcess
患者
Process
and
Entity
有目的
Process
and
entity
例
entity
and
Learning
患者
entity
and
Entity
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
例
Process
and
滲出
agent
Process
and
AutonomousAgent
Process
Entity
例
Process
and
Pretending
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有目的
Process
and
相信
Entity
and
Process
等於
Process
and
Process
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2913-2931
例
EngineeringComponent
and
EngineGovernor
例
EngineeringComponent
and
發動機
連接的工程組件
EngineeringComponent
and
EngineeringComponent
governorSpeed
EngineeringComponent
and
測量
RealNumber
and
MilesPerHour
有目的
EngineeringComponent
and
entity
entity
and
entity
例
entity
and
Device
部分
entity
and
EngineeringComponent
例
entity
and
旋轉
持有期間
何時
entity
and
測量
entity
and
測量
entity
and
MilesPerHour
比較多
entity
and
RealNumber
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2940-2956
例
EngineeringComponent
and
EngineGovernor
例
EngineeringComponent
and
車輛
連接的工程組件
EngineeringComponent
and
EngineeringComponent
governorSpeed
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
有目的
EngineeringComponent
and
entity
entity
例
entity
and
易位
持有期間
何時
entity
and
測量
EngineeringComponent
and
測量
entity
and
MilesPerHour
比較多
entity
and
RealNumber
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7258-7267
例
Process
and
獎學金
目的地
Process
and
Entity
有目的
Process
and
entity
entity
例
entity
and
教育計劃
實現
entity
and
entity
體驗者
entity
and
Entity
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2713-2727
例
Object
and
FanBelt
例
Object
and
EngineFan
例
Object
and
汽車
部分
Object
and
Object
部分
Object
and
Object
例
Process
and
Motion
患者
Process
and
Object
有目的
Object
and
Process
例
Process
and
旋轉
原因
Process
and
Process
患者
Process
and
Object
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
例
Process
and
外國內部防禦
agent
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
例
entity
and
Learning
體驗者
entity
and
entity
agent
entity
and
AutonomousAgent
AutonomousAgent
是
entity
的
military
區域
例
entity
and
軍事力量
位於
entity
and
AutonomousAgent
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
例
Object
and
FuelPump
例
Object
and
汽車
部分
Object
and
Object
例
Motion
and
Transportation
例
Process
and
汽油
患者
Motion
and
Process
儀器
Process
and
Object
例
Object
and
GasTank
部分
Object
and
Object
例
Object
and
EngineCylinder
部分
Object
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
路徑
Motion
and
Object
有目的
Motion
and
Process
F
例
Process
F and
FuelFilter
Object
對於
Object
between
在路徑
Process
F
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
例
Object
and
FuelPump
例
Object
and
汽車
部分
Object
and
Object
例
Process
and
Transportation
例
Process
and
汽油
患者
Process
and
Process
儀器
Process
and
Object
有目的
Object
and
entity
entity
例
entity
and
GasTank
部分
entity
and
Object
例
entity
and
EngineCylinder
部分
entity
and
Object
起源
Process
and
entity
目的地
Process
and
entity
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8181-8189
例
耕地面積
and
園林
栽種於
Plant
and
耕地面積
有目的
耕地面積
and
entity
例
entity
and
RecreationOrExercise
entity
是
located
在
耕地面積
(=>
(
and
(
instance
?G
GramStaining
)
(
agent
?G ?H)
(
patient
?G ?B))
(
hasPurpose
?G
(
knows
?H
(
exists
(?S)
(
and
(
instance
?S
GramStainAttribute
)
(
attribute
?B ?S))))))
Medicine.kif 5369-5379
例
Process
and
GramStaining
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有目的
Process
and
知道
AutonomousAgent
and
entity
例
entity
and
GramStainAttribute
attribute
Entity
and
entity
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2892-2904
例
EngineeringComponent
and
SpeedGovernor
governorSpeed
EngineeringComponent
and
測量
RealNumber
and
MilesPerHour
連接的工程組件
EngineeringComponent
and
EngineeringComponent
有目的
EngineeringComponent
and
RealNumber
P2
測量
EngineeringComponent
and
測量
RealNumber
P2 and
MilesPerHour
比較多
RealNumber
P2 and
RealNumber
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25150-25171
例
TelecomNumber
and
Hotline
TelecomNumber
是
AutonomousAgent
的
telephone
number
例
AutonomousAgent
and
Organization
有目的
TelecomNumber
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
模態屬性
entity
例
entity
and
Communication
儀器
entity
and
TelecomNumber
等於
開始
何時
entity
and
開始
眼前的未來
何時
entity
and
容易
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12956-12966
例
Process
and
狩獵
患者
Process
and
Entity
有目的
Process
and
Entity
ROC
患者
Entity
ROC and
Entity
例
Entity
ROC and
Confining
例
Entity
ROC and
Killing
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
例
Process
and
鼓聲
agent
Process
and
AutonomousAgent
例
Process
AY and
Day
例
TimeInterval
and
日出
期間
TimeInterval
and
Process
AY
早期
何時
Process
and
TimeInterval
有目的
Process
and
entity
TimeInterval
UHUR and
entity
例
entity
and
起來
體驗者
entity
and
entity
例
TimeInterval
UHUR and
封齋飯
agent
TimeInterval
UHUR and
entity
早期
何時
entity
and
何時
TimeInterval
UHUR
期間
何時
entity
and
Process
AY
期間
何時
TimeInterval
UHUR and
Process
AY
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3432-3461
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17379-17395
例
Process
and
移民
agent
Process
and
AutonomousAgent
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
Nation
起源
Process
and
GeopoliticalArea
目的地
Process
and
GeopoliticalArea
等於
GeopoliticalArea
and
GeopoliticalArea
會員
AutonomousAgent
and
GeopoliticalArea
的
citizenry
會員
AutonomousAgent
and
GeopoliticalArea
的
citizenry
有目的
Process
and
棲息
AutonomousAgent
and
GeopoliticalArea
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
例
Transfer
and
Intubation
例
Object
and
管
objectTransferred
Transfer
and
Object
體驗者
Transfer
and
AutonomousAgent
有目的
Transfer
and
entity
例
entity
and
Breathing
儀器
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