earlier
(=>
(
holdsDuring
?T
(
attribute
?P
PostExertionalMalaise
))
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?A)
(
earlier
(
WhenFn
?R) ?T))))
Medicine.kif 1469-1477
If
PEM
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
recreation or exercise
and
an agent
is an
agent
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
holdsDuring
?T1
(
attribute
?AGENT
MusicalConductor
))
(
exists
(?CONDUCT)
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT)
(
not
(
earlier
?T1
(
WhenFn
?CONDUCT))))))
Media.kif 1873-1879
If
musical conductor
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
musical conducting
and
the agent
is an
agent
of
the process
and
the time interval
doesn't happen
earlier
than the
time
of existence of
the process
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10595-10603
If
an entity
expects
another entity
will be true holds
during
a time interval
,
then there exists
another time interval
such that
the entity
believe
s
the other entity
holds
during
the other time interval
holds
during
the time interval
and
the time interval
happens
earlier
than
the other time interval
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13814-13819
If the statement
an entity
has the
modal
force
of
law
holds
during
a time interval
,
then there exists
another time interval
such that
legislative bill
is an
attribute
of
the entity
holds
during
the other time interval
and
the other time interval
happens
earlier
than
the time interval
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 14523-14533
If
an entity
is an
instance
of
announcement
,
then there exist
a process
and
a physical
such that
the process
is an
instance
of
content development
and
the entity
is a
result
of
the process
and
the entity
includes a
reference
to
the physical
and
the physical
is an
instance
of
social interaction
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the physical
(=>
(
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
If
a physical
is an
instance
of
anti-seizure
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
ingesting
and the object transferred in
the other entity
is
the physical
and
the entity
is an
agent
of
the other entity
and the
time
of existence of
the other entity
happens
earlier
than
the third entity
and there doesn't exist
a fourth entity
such that
the fourth entity
is an
instance
of
epileptic seizure
and
the entity
experience
s
the fourth entity
holds
during
the third entity
(=>
(
instance
?A
Aqiqah
)
(
exists
(?BIRTH)
(
and
(
refers
?A ?BIRTH)
(
earlier
(
WhenFn
?BIRTH)
(
WhenFn
?A)))))
ArabicCulture.kif 333-338
If
a physical
is an
instance
of
aqiqah
,
then there exists
another physical
such that
the physical
includes a
reference
to
the other physical
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?ACCOUNT
HistoricalAccount
)
(
exists
(?EVENT)
(
and
(
represents
?ACCOUNT ?EVENT)
(
earlier
(
WhenFn
?EVENT)
(
WhenFn
?ACCOUNT)))))
Mid-level-ontology.kif 14887-14892
If
a physical
is an
instance
of
historical account
,
then there exists
another physical
such that
the physical
express
es
the other physical
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?ANSWER
Answering
)
(
exists
(?QUESTION)
(
and
(
instance
?QUESTION
Questioning
)
(
refers
?ANSWER ?QUESTION)
(
earlier
(
WhenFn
?QUESTION)
(
WhenFn
?ANSWER)))))
Mid-level-ontology.kif 898-904
If
a physical
is an
instance
of
answering
,
then there exists
another physical
such that
the other physical
is an
instance
of
questioning
and
the physical
includes a
reference
to
the other physical
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?B
Breath
)
(
exists
(?I ?E)
(
and
(
subProcess
?I ?B)
(
subProcess
?E ?B)
(
earlier
(
WhenFn
?I)
(
WhenFn
?E))
(
meetsTemporally
(
WhenFn
?I)
(
WhenFn
?E)))))
Mid-level-ontology.kif 10363-10374
If
a process
is an
instance
of
Breath
,
then there exist
another process
and
a third process
such that
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the third process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the third process
(=>
(
instance
?CHECKOUT
Checkout
)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
subProcess
?CHECKOUT ?BUYING)
(
not
(
exists
(?PROCESS)
(
and
(
subProcess
?PROCESS ?BUYING)
(
earlier
(
WhenFn
?CHECKOUT)
(
WhenFn
?PROCESS))))))))
UXExperimentalTerms.kif 1465-1475
If
a process
is an
instance
of
checkout
,
then there exists
another process
such that
the other process
is an
instance
of
buying
and
the process
is a
subprocess
of
the other process
and there doesn't exist
a third process
such that
the third process
is a
subprocess
of
the other process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the third process
(=>
(
instance
?CS
ChestSeal
)
(
hasPurpose
?CS
(
exists
(?C ?CH ?I ?H)
(
and
(
instance
?C
Closing
)
(
instrument
?C ?CS)
(
located
?C ?CH)
(
instance
?CH
Chest
)
(
instance
?H
HoleRegion
)
(
equal
?CH
(
HoleHostFn
?H))
(
instance
?I
Injuring
)
(
located
?I ?CH)
(
earlier
(
WhenFn
?I)
(
WhenFn
?C))))))
Medicine.kif 828-844
If
a physical
is an
instance
of
chest seal
,
then
the physical
has the purpose there exist
an entity
,
the entity
H,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
closing
and
the physical
is an
instrument
for
the entity
and
the entity
is
located
at
the entity
H and
the entity
H is an
instance
of
chest
and
the fourth entity
is an
instance
of
hole
and
the entity
H is
equal
to the
host
of the hole
the fourth entity
and
the third entity
is an
instance
of
injuring
and
the third entity
is
located
at
the entity
H and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the entity
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
If
a process
is an
instance
of
disappearing
,
then there exist
an entity
,
an agent
,, ,
another process
and
a time position
such that
the other process
is an
instance
of
searching
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other process
and
the agent
is an
agent
of
the other process
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the entity
is a
patient
of
the other process
and
the time position
is an
instance
of
time interval
and
the time position
is a
part
of the
time
of existence of
the other process
and the statement there exists
the process
ISC such that
the process
ISC is an
instance
of
discovering
and
the agent
is an
agent
of
the process
ISC and
the entity
is a
patient
of
the process
ISC doesn't have the
modal
force
of
possibility
holds
during
the time position
(=>
(
instance
?DECISION
LegalDecision
)
(
exists
(?DECIDE)
(
and
(
instance
?DECIDE
Deciding
)
(
result
?DECIDE ?LD)
(
instance
?DECISION ?LD)
(
earlier
(
WhenFn
?DECIDE)
(
WhenFn
?DECISION)))))
Merge.kif 10801-10808
If
a physical
is an
instance
of
legal decision
,
then there exists
a process
such that
the process
is an
instance
of
deciding
and
a class
is a
result
of
the process
and
the physical
is an
instance
of
the class
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?E
Elaborating
)
(
exists
(?L ?EP ?LP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?E)
(
containsInformation
?E ?EP)
(
containsInformation
?L ?LP)
(
subsumesContentInstance
?EP ?LP))))
Mid-level-ontology.kif 29659-29667
If
a time interval
is an
instance
of
elaborating
,
then there exist
another time interval
,
the time interval
P and
the other time interval
P such that
the other time interval
is an
instance
of
linguistic communication
and
the other time interval
happens
earlier
than
the time interval
and
the time interval
contain
s information
the time interval
P and
the other time interval
contain
s information
the other time interval
P and
the time interval
P
subsume
s the content of
the other time interval
P
(=>
(
instance
?I
Ivabradine
)
(
hasPurpose
?I
(
exists
(?H ?IN ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
(
PainFn
Chest
))
(
experiencer
?P ?H)
(
instance
?IN
Ingesting
)
(
agent
?IN ?H)
(
earlier
(
WhenFn
?P)
(
WhenFn
?IN))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
(
PainFn
Chest
))
(
experiencer
?P2 ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?P2)))))))))
Medicine.kif 4891-4911
If
a physical
is an
instance
of
ivabradine
,
then
the physical
has the purpose there exist
an entity
,
the physical
N and
a third entity
such that
the entity
is an
instance
of
human
and
the third entity
is an
instance
of
pain
in the
chest
and
the entity
experience
s
the third entity
and
the physical
N is an
instance
of
ingesting
and
the entity
is an
agent
of
the physical
N and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the physical
N and there doesn't exist
the third entity
2 such that
the third entity
2 is an
instance
of
pain
in the
chest
and
the entity
experience
s
the third entity
2 and the
time
of existence of
the physical
N happens
earlier
than the
time
of existence of
the third entity
2
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
If
a time interval
is an
instance
of
list on site
,
then there exist
an object
,
an entity
,, ,
another time interval
,, ,
a third time interval
and
an agent
such that
the object
is an
instance
of
web site
and
the entity
is an
instance
of
web listing
and
the other time interval
is an
instance
of
time interval
and
the third time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the time interval
and the
end
of
the other time interval
is
equal
to the
end
of
the time interval
and
the time interval
happens
earlier
than
the third time interval
and
the time interval
meet
s
the third time interval
and not
the entity
is
hosted
on
the object
holds
during
the other time interval
and
the entity
is
hosted
on
the object
holds
during
the third time interval
and
the agent
is an
agent
of
the time interval
and
the agent
possess
es
the object
(=>
(
instance
?MEETING
FormalMeeting
)
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?MEETING)
(
earlier
(
WhenFn
?PLANNING)
(
WhenFn
?MEETING)))))
Mid-level-ontology.kif 15993-15999
If
a physical
is an
instance
of
formal meeting
,
then there exists
a process
such that
the process
is an
instance
of
planning
and
the physical
is a
result
of
the process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
If
a physical
is an
instance
of
Pedialyte
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the other entity
R such that
the entity
is an
instance
of
human child
and
the other entity
is an
instance
of
diarrhea
and
the third entity
is an
instance
of
vomiting
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
happens
earlier
than the
time
of existence of
the other entity
R or
the entity
experience
s
the third entity
and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other entity
R and
the other entity
R is an
instance
of
drinking
and
the entity
is an
agent
of
the other entity
R and the object transferred in
the other entity
R is
the physical
(=>
(
instance
?P
Prompting
)
(
exists
(?H ?A)
(
and
(
destination
?P ?H)
(
agent
?P ?A)
(
desires
?A
(
exists
(?LC)
(
and
(
instance
?LC
LinguisticCommunication
)
(
agent
?LC ?H)
(
earlier
?P ?LC)
(
subsumesContentInstance
?LC ?P)))))))
Mid-level-ontology.kif 29710-29722
If
a process
is an
instance
of
prompting
,
then there exist
an entity
and
a cognitive agent
such that
the process
end
s up at
the entity
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
linguistic communication
and
the entity
is an
agent
of
the other entity
and
the process
happens
earlier
than
the other entity
and
the other entity
subsume
s the content of
the process
(=>
(
instance
?R
Restating
)
(
exists
(?L ?LP ?RP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?R)
(
containsInformation
?R ?RP)
(
containsInformation
?L ?LP)
(
equivalentContentInstance
?RP ?LP))))
Mid-level-ontology.kif 29676-29684
If
a time interval
is an
instance
of
restating
,
then there exist
another time interval
,
the other time interval
P and
the time interval
P such that
the other time interval
is an
instance
of
linguistic communication
and
the other time interval
happens
earlier
than
the time interval
and
the time interval
contain
s information
the time interval
P and
the other time interval
contain
s information
the other time interval
P and
the time interval
P is
equivalent
to
the other time interval
P
(=>
(
instance
?X
(
AbortedFn
?A ?P))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
desires
?A
(
exists
(?PR)
(
and
(
instance
?PR ?P)
(
agent
?PR ?A)))))
(
earlier
?T
(
WhenFn
?X)))))
MilitaryProcesses.kif 2417-2428
If
a physical
is an
instance
of the
abortion
of
an agent
by
a process
,
then there exists
a time interval
such that
the agent
desire
s there exists
the process
R such that
the process
R is an
instance
of
the process
and
the agent
is an
agent
of
the process
R holds
during
the time interval
and
the time interval
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?X
RestoringData
)
(
exists
(?DEL ?PROC ?DATA ?CLASS)
(
and
(
instance
?DEL
DeletingData
)
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)
(
patient
?DEL ?DATA)
(
earlier
(
WhenFn
?DEL)
(
WhenFn
?X))
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))
QoSontology.kif 135-151
If
a process
is an
instance
of
restore
,
then there exist
another process
,
an entity
,, ,
another entity
and
a class
such that
the other process
is an
instance
of
deleting data
and
the other entity
is an
instance
of
digital data
and
the other entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the entity
is an
instance
of
computer process
and
the entity
is an
instance
of
the class
and
the other entity
is
capable
of doing
the class
as a
patient
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
loggedInDuring
?A ?UA ?T)
(
exists
(?L)
(
and
(
instance
?L
LoggingIn
)
(
agent
?L ?A)
(
patient
?L ?UA)
(
hasAccount
?A ?UA)
(
earlier
?T
(
WhenFn
?L)))))
ComputingBrands.kif 4337-4345
If
an agent
is logged-in to
an user account
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
logging in
and
the agent
is an
agent
of
the process
and
the user account
is a
patient
of
the process
and
the agent
has
account
the user account
and
the time interval
happens
earlier
than the
time
of existence of
the process
(=>
(
searchQueryRewrite
?QUERY1 ?QUERY2)
(
earlier
(
WhenFn
?QUERY2)
(
WhenFn
?QUERY1)))
UXExperimentalTerms.kif 2461-2463
If
a Search query
is a
rewrite
of
another Search query
,
then the
time
of existence of
the other Search query
happens
earlier
than the
time
of existence of
the Search query
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