holdsDuring
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3913-3929
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2992-2998
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18813-18819
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hyperthermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
greaterThan
?N 38.3))
Medicine.kif 686-694
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hypothermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
lessThan
?N 35.0))
Medicine.kif 651-659
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10554-10569
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10532-10547
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19582-19594
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
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