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
工程
は
DefensiveInformationOperation
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
enemy
認識エージェント
and
認識エージェント
認識エージェント
が
認識エージェント
は
エンティティー
を
know
s %n{ない} を
desire
s %n{ない}
認識エージェント
が
認識エージェント
は
エンティティー
を
know
ない を
desire
s %n{ない}
工程
は
認識エージェント
は
エンティティー
を
know
ない の 目的 %n{ない}
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
MedicalDoctor
は
AutonomousAgent
の
attribute
では %n
工程
は
AutonomousAgent
は
エンティティー
ImpairedBodyPartFn
Heart
は
エンティティー
の
attribute
では %n
is
エンティティー
%n を
know
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
HoleRegion
は
Crankcase
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeTransfer
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeIntake
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
Fuel
は
微粒子オブジェクト
で
made
%n
移動
は
移動
の
instance
では %n
微粒子オブジェクト
NG は
Engine
の
instance
では %n
移動
は
微粒子オブジェクト
NG から
originate
s %n{ない}
物理
は
CatalyticConverter
の
instance
では %n
移動
は
物理
に
end
s %n{ない}
objectTransferred
移動
and
微粒子オブジェクト
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
UnitOfVolume
の
instance
では %n
オブジェクト
は
エンティティー
を
contain
s %n{ない}
エンティティー
の
measure
は
エンティティー
の
エンティティー
(s) では %n
EngineFlooded
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
エンティティー
2
エンティティー
エンティティー
2 は
Fuel
の
instance
では %n
オブジェクト
は
エンティティー
2 を
contain
s %n{ない}
エンティティー
2 の
measure
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
greater
では %n の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
は
冷却
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
工程
は
教育過程
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
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
工程
は
Exfiltration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
エンティティー
工程
は
ふり
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
は
工程
0
工程
0 は
工程
と
equal
では %n を
believe
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
エンジニアリング部品
は
Engine
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
デバイス
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
part
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
エンジニアリング部品
は
Vehicle
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
SpeedGovernor
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
エンティティー
は
Translocation
の
instance
では %n
エンジニアリング部品
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
Scholarship
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
EducationalProgram
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
EngineFan
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
motion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
2
工程
2 は
Rotating
の
instance
では %n
工程
は
工程
2 を
cause
s %n{ない}
オブジェクト
は
工程
2 の
patient
では %n の 目的 %n{ない}
(=>
(
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
工程
は
ForeignInternalDefense
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
militaryOfArea
エンティティー
and
AutonomousAgent
エンティティー
は
MilitaryForce
の
instance
では %n
エンティティー
は
AutonomousAgent
に
located
して %n の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
motion
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
GasTank
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
オブジェクト
から
originate
s %n{ない}
motion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
F
工程
F は
FuelFilter
の
instance
では %n
betweenOnPath
オブジェクト
,
工程
F,
オブジェクト
and
オブジェクト
の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
GasTank
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
エンティティー
は
EngineCylinder
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
工程
は
エンティティー
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
は
Garden
の
instance
では %n
plantInArea
植物
and
CultivatedLandArea
CultivatedLandArea
は
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
eventLocated
エンティティー
and
CultivatedLandArea
の 目的 %n{ない}
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
AutonomousAgent
は
エンティティー
エンティティー
は
GramStainAttribute
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n を
know
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
実数
P2
エンジニアリング部品
の
measure
は
実数
P2 の
MilesPerHour
(s) では %n
実数
P2 は
実数
より
greater
では %n の 目的 %n{ない}
(=>
(
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
では %n
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
TelecomNumber
は
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} ステートメント
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
TelecomNumber
は
エンティティー
の
instrument
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の すぐ
after
の
beginning
と
equal
では %n には
Likely
の
modal
force
が ある の 目的 %n{ない}
(=>
(
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
工程
は
Hunting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
ROC
エンティティー
は
エンティティー
ROC の
patient
では %n
エンティティー
ROC は
閉じ込め
の
instance
では %n
エンティティー
ROC は
殺害
の
instance
では %n の 目的 %n{ない}
(=>
(
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
は
Man
の
instance
では %n
Mausaharati
は
AutonomousAgent
の
attribute
では %n
工程
は
Drumming
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AY は
日
の
instance
では %n
時間間隔
は
Sunrise
の
instance
では %n
時間間隔
は
工程
AY の
during
に takes %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
工程
は
エンティティー
時間間隔
UHUR and
エンティティー
エンティティー
は
WakingUp
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
UHUR は
Suhur
の
instance
では %n
エンティティー
は
時間間隔
UHUR の
agent
では %n
エンティティー
の
time
の existence は
時間間隔
UHUR の
time
の existence より
earlier
happens %n{ない}
エンティティー
の
time
の existence は
工程
AY の
during
に takes %n{ない}
時間間隔
UHUR の
time
の existence は
工程
AY の
during
に takes %n{ない} の 目的 %n{ない}
(=>
(
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
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
工程
は
Immigrating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
地政学的地域
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
工程
は
地政学的地域
から
originate
s %n{ない}
工程
は
地政学的地域
に
end
s %n{ない}
地政学的地域
は
地政学的地域
と
equal
では
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では %n
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では
工程
は
AutonomousAgent
は
地政学的地域
に
live
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
移動
は
エンティティー
エンティティー
は
呼吸
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
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