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
如果
过程
是
防御性信息操作
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
enemy
那个 有认知的主事
and
另一个 有认知的主事
和
那个 另外 有认知的主事
desires
那个 另外 有认知的主事
knows
实体
和
那个 有认知的主事
desires
那个 另外 有认知的主事
doesn't
knows
那个 实体
,
然后
那个 过程
的 目的 是
那个 另外 有认知的主事
doesn't
knows
那个 实体
(=>
(
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
如果
过程
是
Electrocardiography
的
instance
和
实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
医生
是
那个 施事体
的
attribute
,
然后
那个 过程
的 目的 是
那个 施事体
knows
有存在
另一个 实体
这样
ImpairedBodyPartFn
心
是
那个 实体
的
attribute
是
那个 另外 实体
(=>
(
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
如果
客体
是
EngineCylinder
的
instance
和
洞
是
Crankcase
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeTransfer
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
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
如果
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeIntake
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
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 1717-1733
如果
躯体性物体
是
Exhaust
的
instance
和
汽油
是
那个 躯体性物体
的材料 和
转移
是
转移
的
instance
和
那个 躯体性物体
NG 是
发动机
的
instance
和
那个 躯体性物体
NG 是
那个 转移
的源头 和
物理
是
CatalyticConverter
的
instance
和
那个 转移
在
那个 物理
结束 和
objectTransferred
那个 转移
and
那个 躯体性物体
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
燃烧
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
那个 躯体性物体
是
那个 实体
的
patient
和
那个 实体
是
located
在
那个 物理
(=>
(
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 2811-2830
如果
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
实体
是
汽油
的
instance
和
另一个 实体
是
UnitOfVolume
的
instance
和
那个 另外 客体
contains
那个 实体
和
那个 实体
的
measure
是
第三 实体
那个 另外 实体
和
EngineFlooded
是
那个 客体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 另外 客体
的 目的 是 不存在
那个 实体
2 和
第五 实体
这样
那个 实体
2 是
汽油
的
instance
和
那个 另外 客体
contains
那个 实体
2 和
那个 实体
2 的
measure
是
那个 第五 实体
那个 另外 实体
和
那个 第五 实体
是
greaterThanOrEqualTo
那个 第三 实体
(=>
(
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 2142-2154
如果
客体
是
EngineCoolingSystem
的
instance
和
另一个 客体
是
发动机
的
instance
和
第三 客体
是
汽车
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
冷却
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
是
那个 实体
的
patient
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
如果
过程
是
教育性过程
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
这样
那个 另外 实体
是
学习
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
(=>
(
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
如果
过程
是
渗出
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
实体
这样
那个 另外 过程
是
假装
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 另外 过程
的 目的 是
那个 实体
believes
不存在
那个 过程
0 这样
那个 过程
0
equal
那个 过程
(=>
(
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 2930-2948
如果
工程组件
是
EngineGovernor
的
instance
和
另一个 工程组件
是
发动机
的
instance
和
那个 工程组件
是 和
那个 另外 工程组件
connected
和
governorSpeed
那个 另外 工程组件
and
实数
英里每小時
,
然后
那个 工程组件
的 目的 是 不存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
设备
的
instance
和
那个 另外 实体
是
那个 另外 工程组件
的
part
和
那个 实体
是
旋转
的
instance
和
那个 另外 实体
的
measure
是
那个 第三 实体
英里每小時
和
那个 第三 实体
是
greaterThan
那个 实数
在
那个 实体
出现 的
time
holdsDuring
(=>
(
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 2957-2973
如果
工程组件
是
EngineGovernor
的
instance
和
另一个 工程组件
是
车辆
的
instance
和
那个 工程组件
是 和
那个 另外 工程组件
connected
和
governorSpeed
SpeedGovernor
and
实数
英里每小時
,
然后
那个 工程组件
的 目的 是 不存在
实体
和
另一个 实体
这样
那个 实体
是
易位
的
instance
和
那个 另外 工程组件
的
measure
是
那个 另外 实体
英里每小時
和
那个 另外 实体
是
greaterThan
那个 实数
在
那个 实体
出现 的
time
holdsDuring
(=>
(
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 7231-7240
如果
过程
是
奖学金
的
instance
和
那个 过程
在
实体
结束,
然后
那个 过程
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
教育计划
的
instance
和
那个 第三 实体
表示
那个 另外 实体
的内容 和
那个 实体
经历了
那个 第三 实体
(=>
(
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 2730-2744
如果
客体
是
FanBelt
的
instance
和
另一个 客体
是
EngineFan
的
instance
和
第三 客体
是
汽车
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
过程
是
运动
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后
那个 客体
的 目的 是 有存在
那个 过程
2 这样
那个 过程
2 是
旋转
的
instance
和
那个 过程
causes
那个 过程
2 和
那个 另外 客体
是
那个 过程
2 的
patient
(=>
(
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
如果
过程
是
外国内部防御
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
学习
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 另外 施事体
是
那个 实体
的
military
区域 或
那个 实体
是
军事力量
的
instance
和
那个 实体
是
located
在
那个 另外 施事体
(=>
(
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
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
运动
是
运输
的
instance
和
过程
是
汽油
的
instance
和
那个 过程
是
那个 运动
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
第三 客体
是
GasTank
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
第四 客体
是
EngineCylinder
的
instance
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 运动
的源头 和
那个 运动
在
那个 第四 客体
结束 和
第五 客体
%n是
那个 运动
发生的
path
,
然后
那个 运动
的 目的 是 有存在
那个 过程
F 这样
那个 过程
F 是
FuelFilter
的
instance
和
那个 第三 客体
對於
那个 第四 客体
between
在路徑
那个 过程
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
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
过程
是
运输
的
instance
和
另一个 过程
是
汽油
的
instance
和
那个 另外 过程
是
那个 过程
的
patient
和
那个 客体
是导致
那个 另外 过程
的
instrument
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 实体
是
那个 另外 客体
的
part
和
那个 另外 实体
是
EngineCylinder
的
instance
和
那个 另外 实体
是
那个 另外 客体
的
part
和
那个 实体
是
那个 过程
的源头 和
那个 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
如果
耕地面积
是
园林
的
instance
和
栽种于
植物
and
那个 耕地面积
,
然后
那个 耕地面积
的 目的 是 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 实体
是
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
如果
过程
是
GramStaining
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是
那个 施事体
knows
有存在
另一个 实体
这样
那个 另外 实体
是
GramStainAttribute
的
instance
和
那个 另外 实体
是
那个 实体
的
attribute
(=>
(
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 2909-2921
如果
工程组件
是
SpeedGovernor
的
instance
和
governorSpeed
另一个 工程组件
and
实数
英里每小時
和
那个 工程组件
是 和
那个 另外 工程组件
connected
,
然后
那个 工程组件
的 目的 是 不存在
那个 实数
P2 这样
那个 另外 工程组件
的
measure
是
那个 实数
P2
英里每小時
和
那个 实数
P2 是
greaterThan
那个 实数
(=>
(
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 25093-25114
如果
TelecomNumber
是
Hotline
的
instance
和
那个 TelecomNumber
是
施事体
的
telephone
number
和
那个 施事体
是
机构
的
instance
,
然后
那个 TelecomNumber
的 目的 是 有存在
实体
这样
那个 实体
是
致电
的
instance
和
那个 实体
在
那个 施事体
结束 和 有存在
另一个 实体
这样
那个 另外 实体
是
沟通
的
instance
和
那个 TelecomNumber
是导致
那个 另外 实体
的
instrument
和
那个 另外 实体
出现 的
time
的开始
equal
紧接
那个 实体
出现 的
time
after
的开始 的声明 has
容易
的语气
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
如果
过程
是
狩猎
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
那个 实体
ROC 这样
那个 实体
是
那个 实体
ROC 的
patient
和
那个 实体
ROC 是
关押
的
instance
或
那个 实体
ROC 是
杀害
的
instance
(=>
(
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
如果
施事体
是
人
的
instance
和
mausaharati
是
那个 施事体
的
attribute
和
过程
是
鼓声
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
AY 是
日
的
instance
和
另一个 时距
是
日出
的
instance
和
那个 另外 时距
在
那个 过程
AY 时段内发生 和
那个 过程
出现 的
time
比
那个 另外 时距
发生的
earlier
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
,
那个 另外 时距
UHUR, and 和
第四 实体
这样
那个 第四 实体
是
起来
的
instance
和
那个 另外 实体
经历了
那个 第四 实体
和
那个 另外 时距
UHUR 是
封斋饭
的
instance
和
那个 另外 实体
是
那个 另外 时距
UHUR 的
agent
和
那个 第四 实体
出现 的
time
比
那个 另外 时距
UHUR 出现 的
time
发生的
earlier
和
那个 第四 实体
出现 的
time
在
那个 过程
AY 时段内发生 和
那个 另外 时距
UHUR 出现 的
time
在
那个 过程
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 3447-3476
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
(=>
(
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 17352-17368
如果
过程
是
移民
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
地缘政治区域
和
另一个 地缘政治区域
这样
那个 地缘政治区域
是
国家
的
instance
和
那个 另外 地缘政治区域
是
国家
的
instance
和
那个 地缘政治区域
是
那个 过程
的源头 和
那个 过程
在
那个 另外 地缘政治区域
结束 和
那个 地缘政治区域
不
equal
那个 另外 地缘政治区域
和
那个 施事体
是
那个 地缘政治区域
的
citizenry
的
member
和
那个 施事体
不 是
那个 另外 地缘政治区域
的
citizenry
的
member
和
那个 过程
的 目的 是
那个 施事体
住在
那个 另外 地缘政治区域
(=>
(
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
如果
转移
是
Intubation
的
instance
和
客体
是
管
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
施事体
经历了
那个 转移
,
然后
那个 转移
的 目的 是 有存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
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