holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
If
impaired body part fn
a class
is an
attribute
of
an object
holds
during
a time position
and
the class
I is an
instance
of
the class
and
the class
I is a
part
of
the object
and
the class
I has the purpose
a formula
,
then the statement
the formula
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
If
an entity
is an
attribute
of
another entity
holds
during
a time interval
and
the other entity
is an
instance
of
chronic disease
and
duration
of
the time interval
is
a real number
,
then
the real number
is
greater
than 3
month duration
(s)
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
If
AVPU pain status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
pain
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
body motion
and
the agent
experience
s
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other process
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
If
AVPU verbal status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
speaking
and
the process
end
s up at
the agent
and the
time
of existence of
the process
takes place
during
the time interval
,
then there exists
another process
such that
the other process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other process
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
If
ME/CFS
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
,
then the statement
PEM
is an
attribute
of
the agent
holds
during
the time interval
2 and the
time
of existence of
the process
happens
earlier
than
the time interval
2 has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
If
booting up
is an
attribute
of
an engineering component
holds
during
a physical
and
host ready
is an
attribute
of
the engineering component
holds
during
the physical
2 and
the physical
2 is
equal
to immediately
after
the
time
of existence of
the physical
and
another engineering component
is an
instance
of
computer display
and
the other engineering component
is
connected
to
the engineering component
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
home screen
and
the entity
is
displayed
on
the other engineering component
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
If
an agent
desire
s
dead
is an
attribute
of
an entity
holds
during
a time interval
and
the agent
URDER is an
instance
of
murder
and
the agent
is an
agent
of
the agent
URDER and
the entity
is a
patient
of
the agent
URDER and
the time interval
happens
earlier
than the
time
of existence of
the agent
URDER,
then
premeditated
is an
attribute
of
the agent
URDER
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
If
an entity
possess
es
an object
holds
during
a time position
and
another object
is a
part
of
the object
,
then
the entity
possess
es
the other object
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
If
expellee
is an
attribute
of
an entity
and
the entity
is a
citizen
of
another entity
-NATION holds
during
a time position
and
the time position
is an
instance
of
time interval
,
then there exist
a process
and
an object
such that
the object
is an
instance
of
nation
and
the object
is not
equal
to
the other entity
-NATION and
the process
is an
instance
of
translocation
and
the process
originate
s at
the object
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
-NATION and
the time position
is a
part
of the
time
of existence of
the process
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
If
dislocated civilian
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
a geographic area
holds
during
a time interval
and
the geographic area
is an
instance
of
geographic area
and
the time interval
is an
instance
of
time interval
,
then there exist
another time interval
,
a third entity
-PLACE and
the third entity
-RES such that
the other time interval
is an
instance
of
time interval
and
the other time interval
happens
earlier
than
the time interval
and
the third entity
-RES is an
instance
of
object
and
the third entity
-PLACE is an
instance
of
geopolitical area
and
the third entity
-RES is
located
at
the third entity
-PLACE and
the geographic area
is not
equal
to
the third entity
-PLACE and
the other entity
is not
equal
to
the third entity
-RES and
the geographic area
is not a
geographic
subregion of
the third entity
-PLACE and
the third entity
-PLACE is not a
geographic
subregion of
the geographic area
and
the entity
live
s in
the third entity
-RES holds
during
the other time interval
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
If
menopause
is an
attribute
of
an agent
holds
during
a time interval
and
a real number
is
equal
to (1
year duration
(s) and the
beginning
of
the time interval
) and
another time interval
is
equal
to
interval
between
the other time interval
and the
beginning
of
the time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
menstruation
and
the agent
experience
s
the process
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
If
evacuee
is an
attribute
of
an agent
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exist
a process
and
another agent
such that
the process
is an
instance
of
evacuating
and
the other agent
is an
agent
of
the process
and
the other agent
is an
instance
of
military organization
and
the agent
experience
s
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
If
internally displaced person
is an
attribute
of
an entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exist
another entity
and
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and
internally displaced person
is an
attribute
of
the entity
holds
during
the time interval
is a
causes
proposition of
the entity
fears
the other entity
holds
during
the other time interval
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
If
stateless person
is an
attribute
of
an entity
holds
during
a time position
and
another entity
is an
instance
of
nation
,
then
the entity
is not a
citizen
of
the other entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
If there is a
legal
relation
between
an entity
and
another entity
holds
during
a time position
and
the entity
is an
instance
of
organism
and
the other entity
is an
instance
of
organism
,
then
the other entity
is a
relative
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
If
an entity
is a
member
of
another entity
holds
during
a time position
and
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
group of people
,
then
the entity
is a
member
of
the other entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
book
,
then
book publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
musical composition
,
then
music publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
newspaper
,
then
newspaper publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
periodical
,
then
periodical publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
text
,
then
information industry
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
If
an entity
is the
spouse
of
another entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
If
a formula
holds
during
a time interval
and
another formula
holds
during
another time interval
and
the other time interval
is an
instance
of
time interval
and
the time interval
is an
instance
of
time interval
and
the formula
is a
causes
proposition of
the other formula
,
then the
beginning
of
the other time interval
happen
s before or at the
beginning
of
the time interval
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