during
(=>
(
heartRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
HeartBeat
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10345-10357
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
(=>
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
during
?T
(
WhenFn
?P))
(
causesProposition
(
experiencer
?P ?A)
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))))))
emotion.kif 793-803
(=>
(
holdsDuring
?T
(
attribute
?A
SexualPleasure
))
(
exists
(?M)
(
and
(
instance
?M
Mating
)
(
during
?T
(
WhenFn
?M))
(
causesProposition
(
agent
?M ?A)
(
holdsDuring
?T
(
attribute
?A
SexualPleasure
))))))
emotion.kif 1100-1110
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
(=>
(
holdsDuring
?T
(
attribute
?H
Coma
))
(
not
(
exists
(?IP)
(
and
(
instance
?IP
IntentionalProcess
)
(
agent
?IP ?H)
(
during
?T
(
WhenFn
?IP))))))
Medicine.kif 5215-5224
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16411-16427
(=>
(
holdsDuring
?T
(
attribute
?H
Fibromyalgia
))
(
exists
(?P)
(
and
(
instance
?P
Pain
)
(
experiencer
?P ?H)
(
during
?T
(
WhenFn
?P)))))
Medicine.kif 4533-4541
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5326-5340
(=>
(
holdsDuring
?T
(
attribute
?H
Narcolepsy
))
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
not
(
wants
?H ?S)))))
Medicine.kif 4783-4793
(=>
(
holdsDuring
?T
(
attribute
?H
Pneumothorax
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
patient
?I ?H)
(
during
?T
(
WhenFn
?I)))))
Medicine.kif 812-821
(=>
(
holdsDuring
?T
(
attribute
?H
Sinusitis
))
(
exists
(?NC ?NCH ?I)
(
and
(
instance
?NC
NasalCavity
)
(
equal
?NCH
(
HoleHostFn
?NC))
(
part
?NCH ?H)
(
instance
?I
Inflammation
)
(
during
(
WhenFn
?I) ?T)
(
patient
?I ?NCH))))
Medicine.kif 5706-5716
(=>
(
holdsDuring
?T1
(
attribute
?MAID
Maid
))
(
exists
(?SERVE)
(
and
(
during
(
WhenFn
?SERVE) ?T1)
(
instance
?SERVE
Serving
)
(
agent
?SERVE ?MAID))))
Mid-level-ontology.kif 20633-20639
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
(=>
(
instance
?CES
ConsumerElectronicsShow
)
(
exists
(?J)
(
and
(
instance
?J
January
)
(
during
?CES ?J))))
ComputingBrands.kif 2391-2396
(=>
(
instance
?E
EidAlFitr
)
(
exists
(?R ?Y)
(
and
(
instance
?R
Ramadan
)
(
instance
?Y
Year
)
(
during
?R ?Y)
(
during
?E ?Y)
(
before
?R ?E))))
ArabicCulture.kif 229-237
(=>
(
instance
?EP
EpiPen
)
(
hasPurpose
?EP
(
exists
(?I ?H ?A)
(
and
(
instance
?I
Injecting
)
(
instrument
?I ?EP)
(
destination
?I ?H)
(
experiencer
?A ?H)
(
instance
?A
Anaphylaxis
)
(
during
(
WhenFn
?I)
(
WhenFn
?A))))))
Medicine.kif 6378-6390
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