holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 6856-6863
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 6488-6500
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 6465-6477
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 1492-1504
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 3227-3241
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
equal
the physical
2 and 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 486-495
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 2551-2567
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 4285-4291
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
equal
the object
and
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
equal
the geographic area
and
the third entity
_PLACE and
equal
the other entity
and
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 25535-25549
If
menopause
is an
attribute
of
an agent
holds
during
a time interval
and
equal
a real number
and (1
year duration
(s) and the
beginning
of
the time interval
) and
equal
another time interval
and
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 32596-32617
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 16499-16504
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 8729-8736
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 1902-1906
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 1890-1894
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 1914-1918
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 1908-1912
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 1896-1900
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 9139-9149
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 3849-3856
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
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18390-18396
If
embryonic
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
equal
another time interval
and the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
doesn't
overlap
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