objectTransferred
(=>
(
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
Artery
and
体の部分
物理
は
Artery
の
instance
では %n
エンティティー
は
体の部分
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
LiquidMotion
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
血
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
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
ウイルス
移動
は
Vaccination
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
Vaccine
I は
Vaccine
の
instance
では %n
objectTransferred
移動
and
Vaccine
I
Vaccine
I は
エンティティー
ウイルス
I
エンティティー
は
Infecting
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
ウイルス
I は
ウイルス
の
instance
では %n
objectTransferred
エンティティー
and
ウイルス
I の 目的 %n{ない}
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
NewItem
は
オブジェクト
の
attribute
では %n
移動
移動
は
購買
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
UsedItem
は
オブジェクト
の
attribute
では %n
移動
移動
は
購買
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
attribute
?X
USNonPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Legal
))
Mid-level-ontology.kif 9318-9330
USNonPrescriptionDrug
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
は
購買
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
エンティティー
エンティティー
は
Prescription
の
instance
では %n
エンティティー
は
オブジェクト
への
reference
を includes %n{ない} には
Legal
の
modal
force
が ある
(=>
(
attribute
?X
USPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Illegal
))
Mid-level-ontology.kif 9296-9308
USPrescriptionDrug
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
は
購買
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
エンティティー
エンティティー
は
Prescription
の
instance
では %n
エンティティー
は
オブジェクト
への
reference
を includes %n{ない} には
Illegal
の
modal
force
が ある
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
は
オブジェクト
の
attribute
では %n は
オブジェクト
IME の
during
holds %n{ない}
AutonomousAgent
工程
and
移動
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Bleeding
の
instance
では %n
移動
は
取付け
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
移動
は
AutonomousAgent
に
end
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
工程
2
工程
2 は
Bleeding
の
instance
では %n
移動
の
time
の existence の すぐ
after
は
工程
2 の
time
の existence と
overlap
s %n{dない}
AutonomousAgent
が
工程
2 を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
物理
は
Antiseizure
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
摂取
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
の
time
の existence は
エンティティー
より
earlier
happens %n{ない}
エンティティー
エンティティー
は
Seizure
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} は
エンティティー
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
物理
は
InjectedAntibiotic
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Injecting
の
instance
では %n
objectTransferred
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?AG
AnimalGuiding
)
(
exists
(?A ?C ?H)
(
and
(
instance
?A
Animal
)
(
agent
?AG ?H)
(
instance
?C
Carrying
)
(
agent
?C ?A)
(
objectTransferred
?C ?H)
(
instrument
?AG ?A))))
Mid-level-ontology.kif 4345-4354
工程
は
AnimalGuiding
の
instance
では %n
AutonomousAgent
移動
and
AutonomousAgent
AutonomousAgent
は
動物
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
移動
は
Carrying
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
objectTransferred
移動
and
AutonomousAgent
AutonomousAgent
は
工程
の
instrument
では %n
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9697-9709
物理
は
Antidepressant
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では %n
Depression
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9717-9729
物理
は
Antipsychotic
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
摂取
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
物理
の
agent
では %n
Psychosis
は
エンティティー
の
attribute
では は
エンティティー
の
time
の existence の
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?AT
ApplyingTourniquet
)
(
exists
(?A ?P ?T)
(
and
(
instance
?A
Agent
)
(
instance
?P
Mammal
)
(
holdsDuring
(
WhenFn
?AT)
(
attribute
?T
Tourniquet
))
(
destination
?AT ?P)
(
agent
?AT ?A)
(
objectTransferred
?AT ?T))))
Medicine.kif 67-78
移動
は
ApplyingTourniquet
の
instance
では %n
AutonomousAgent
エンティティー
and
オブジェクト
AutonomousAgent
は
代理(人)
の
instance
では %n
エンティティー
は
哺乳動物
の
instance
では %n
Tourniquet
は
オブジェクト
の
attribute
では %n は
移動
の
time
の existence の
during
holds %n{ない}
移動
は
エンティティー
に
end
s %n{ない}
AutonomousAgent
は
移動
の
agent
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24010-24017
移動
は
出生
の
instance
では %n
オブジェクト
移動
ABY
Female
は
オブジェクト
の
attribute
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
objectTransferred
移動
and
移動
ABY
NonFullyFormed
は
移動
ABY の
attribute
では %n
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?WAVE ?WATER1 ?WATER2 ?FALL)
(
and
(
instance
?WAVE
WaterWave
)
(
subProcess
?BREAK ?WAVE)
(
instance
?WATER1
BodyOfWater
)
(
instance
?WATER2
BodyOfWater
)
(
patient
?WAVE ?WATER2)
(
patient
?BREAK ?WATER1)
(
instance
?FALL
Falling
)
(
objectTransferred
?FALL ?WATER1)
(
holdsDuring
(
BeginFn
(
WhenFn
?FALL))
(
part
?WATER1 ?WATER2))
(
holdsDuring
(
EndFn
(
WhenFn
?FALL))
(
not
(
part
?WATER1 ?WATER2))))))
Weather.kif 1353-1373
工程
は
BreakingWave
の
instance
では %n
工程
オブジェクト
,
エンティティー
and
移動
工程
は
WaterWave
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
BodyOfWater
の
instance
では %n
エンティティー
は
BodyOfWater
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では %n
移動
は
Falling
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
エンティティー
の
part
では %n は
移動
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では は
移動
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
移動
は
Catheterization
の
instance
では %n
移動
ATH
エンティティー
移動
ATH は
Catheter
の
instance
では %n
エンティティー
は
物
の
instance
では %n
objectTransferred
移動
and
移動
ATH
移動
は
エンティティー
に
end
s %n{ない}
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
移動
は
Defrauding
の
instance
では %n
AutonomousAgent
AutonomousAgent
and
オブジェクト
AutonomousAgent
は
移動
の
agent
では %n
suffers
移動
and
AutonomousAgent
AutonomousAgent
は
移動
の 受益者では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
AutonomousAgent
から
originate
s %n{ない}
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2803-2815
移動
は
Drizzling
の
instance
では %n
コレクション
自己接続オブジェクト
and
実数
コレクション
は
コレクション
の
instance
では %n
自己接続オブジェクト
は
水
の
instance
では %n
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
コレクション
の
member
では %n
objectTransferred
移動
and
コレクション
approximateDiameter
自己接続オブジェクト
and
実数
の
Millimeter
(s) ステートメント
実数
は 0.5 より
less
または同等 では %n には
Likely
の
modal
force
が ある
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
移動
は
ElectricTransmission
の
instance
では %n
オブジェクト
オブジェクト
は
Electricity
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2665-2673
物理
は
ExhaustValve
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
Exhaust
の
instance
では %n の 目的 %n{ない}
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3020-3028
物理
は
GreaseFitting
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Grease
の
instance
では %n
エンティティー
は
置く
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n
objectTransferred
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?GG
GreaseGun
)
(
hasPurpose
?GG
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
instrument
?P ?GG)
(
objectTransferred
?P ?G)))))
Cars.kif 3036-3044
物理
は
GreaseGun
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Grease
の
instance
では %n
エンティティー
は
置く
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
objectTransferred
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
オブジェクト
は
HandTool
の
instance
では %n
オブジェクト
は
Carrying
を
objectTransferred
として行う
capable
では %n
(=>
(
instance
?I
ITunes
)
(
hasPurpose
?I
(
exists
(?M ?D)
(
and
(
instance
?M
MultimediaFile
)
(
instance
?D
DownloadingOverNetwork
)
(
objectTransferred
?D ?M)
(
instrument
?D ?I)))))
ComputingBrands.kif 3409-3417
物理
は
ITunes
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
MultimediaFile
の
instance
では %n
エンティティー
は
DownloadingOverNetwork
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
instance
?I
Inflammation
)
(
exists
(?T ?W)
(
and
(
instance
?T
Translocation
)
(
instance
?W
WhiteBloodCell
)
(
objectTransferred
?T ?W)
(
destination
?T
(
WhereFn
?I
(
WhenFn
?I))))))
Mid-level-ontology.kif 12397-12406
物理
は
Inflammation
の
instance
では %n
移動
オブジェクト
移動
は
Translocation
の
instance
では %n
オブジェクト
は
WhiteBloodCell
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
物理
が
物理
の
time
の existence に
where
場所 に
end
s %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