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
動脈
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
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
attribute
Object
and
NewItem
Transfer
例
Transfer
and
Buying
objectTransferred
Transfer
and
Object
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
attribute
Object
and
UsedItem
Transfer
例
Transfer
and
Buying
objectTransferred
Transfer
and
Object
(=>
(
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
attribute
Object
and
USNonPrescriptionDrug
模態屬性
entity
例
entity
and
Buying
objectTransferred
entity
and
Object
entity
例
entity
and
Prescription
參照
entity
and
Object
and
合法
(=>
(
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
attribute
Object
and
USPrescriptionDrug
模態屬性
entity
例
entity
and
Buying
objectTransferred
entity
and
Object
entity
例
entity
and
Prescription
參照
entity
and
Object
and
非法
(=>
(
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
持有期間
TimePosition
and
attribute
Object
and
Tourniquet
AutonomousAgent
Process
and
Transfer
例
AutonomousAgent
and
Human
例
Process
and
流血的
例
Transfer
and
Attaching
體驗者
Process
and
AutonomousAgent
目的地
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
有目的
Object
and
Process
例
Process
and
流血的
暫時重疊
何時
Process
and
眼前的未來
何時
Transfer
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Physical
and
Antiseizure
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Human
例
entity
and
Ingesting
objectTransferred
entity
and
Physical
agent
entity
and
entity
早期
何時
entity
and
entity
持有期間
entity
and
entity
例
entity
and
Seizure
體驗者
entity
and
entity
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
例
Physical
and
InjectedAntibiotic
有目的
Physical
and
entity
例
entity
and
注射
objectTransferred
entity
and
Physical
(=>
(
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
例
Process
and
AnimalGuiding
AutonomousAgent
Transfer
and
AutonomousAgent
例
AutonomousAgent
and
Animal
agent
Process
and
AutonomousAgent
例
Transfer
and
攜帶
agent
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
AutonomousAgent
儀器
Process
and
AutonomousAgent
(=>
(
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
例
Physical
and
Antidepressant
有目的
Physical
and
entity
entity
例
entity
and
Ingesting
objectTransferred
entity
and
Physical
agent
Physical
and
entity
持有期間
未來
何時
entity
and
attribute
entity
and
Depression
(=>
(
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
例
Physical
and
Antipsychotic
有目的
Physical
and
entity
entity
例
entity
and
Ingesting
objectTransferred
entity
and
Physical
agent
Physical
and
entity
持有期間
未來
何時
entity
and
attribute
entity
and
精神病
(=>
(
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
例
Transfer
and
ApplyingTourniquet
AutonomousAgent
Entity
and
Object
例
AutonomousAgent
and
Agent
例
Entity
and
Mammal
持有期間
何時
Transfer
and
attribute
Object
and
Tourniquet
目的地
Transfer
and
Entity
agent
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
(=>
(
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
例
Transfer
and
Birth
Object
Transfer
ABY
attribute
Object
and
女
起源
Transfer
and
Object
objectTransferred
Transfer
and
Transfer
ABY
attribute
Transfer
ABY and
沒有完全形成
(=>
(
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
例
Process
and
BreakingWave
Process
Object
,
Entity
and
Transfer
例
Process
and
水波
子過程
Process
and
Process
例
Object
and
水體
例
Entity
and
水體
患者
Process
and
Entity
患者
Process
and
Object
例
Transfer
and
落下
objectTransferred
Transfer
and
Object
持有期間
開始
何時
Transfer
and
部分
Object
and
Entity
持有期間
結束
何時
Transfer
and
部分
Object
and
Entity
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
例
Transfer
and
Catheterization
Transfer
ATH
Entity
例
Transfer
ATH and
Catheter
例
Entity
and
Organism
objectTransferred
Transfer
and
Transfer
ATH
目的地
Transfer
and
Entity
(=>
(
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
例
Transfer
and
Defrauding
AutonomousAgent
AutonomousAgent
and
Object
agent
Transfer
and
AutonomousAgent
AutonomousAgent
suffers
從
Transfer
好處
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
起源
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
(=>
(
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
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
例
Transfer
and
ElectricTransmission
Object
例
Object
and
電力
objectTransferred
Transfer
and
Object
(=>
(
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
例
Physical
and
ExhaustValve
有目的
Physical
and
entity
entity
例
entity
and
Transfer
objectTransferred
entity
and
entity
路徑
entity
and
Physical
例
entity
and
Exhaust
(=>
(
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
例
Physical
and
GreaseFitting
有目的
Physical
and
entity
entity
例
entity
and
Grease
例
entity
and
Putting
路徑
entity
and
Physical
objectTransferred
entity
and
entity
(=>
(
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
例
Physical
and
GreaseGun
有目的
Physical
and
entity
entity
例
entity
and
Grease
例
entity
and
Putting
儀器
entity
and
Physical
objectTransferred
entity
and
entity
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
例
Object
and
HandTool
能力
攜帶
,
objectTransferred
and
Object
(=>
(
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
例
Physical
and
ITunes
有目的
Physical
and
entity
entity
例
entity
and
MultimediaFile
例
entity
and
下載
objectTransferred
entity
and
entity
儀器
entity
and
Physical
(=>
(
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
例
Physical
and
Inflammation
Transfer
Object
例
Transfer
and
易位
例
Object
and
白細胞
objectTransferred
Transfer
and
Object
目的地
Transfer
and
哪裡
Physical
and
何時
Physical
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