Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
earlier
Sigma KEE - earlier
earlier
appearance as argument number 1
(
documentation
earlier
ChineseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 在
TimeInterval
?INTERVAL2 开始前结束。")
chinese_format.kif 2724-2725
(
documentation
earlier
EnglishLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
?INTERVAL1 ends before the
TimeInterval
?INTERVAL2 begins.")
Merge.kif 8374-8376
(
documentation
earlier
JapaneseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL2 が開始される前に
TimeInterval
?INTERVAL1 が終了することを意味する。")
japanese_format.kif 1449-1450
(
domain
earlier
1
TimeInterval
)
Merge.kif 8371-8371
The number 1 argument of
earlier
is an
instance
of
time interval
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
The number 2 argument of
earlier
is an
instance
of
time interval
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
earlier
is an
instance
of
binary predicate
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
earlier
is an
instance
of
irreflexive relation
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
earlier
is an
instance
of
temporal relation
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
is an
instance
of
total valued relation
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
earlier
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
earlier
"%1 %n{doesn't} 比%2发生的
earlier
")
chinese_format.kif 437-437
(
format
EnglishLanguage
earlier
"%1 %n{doesn't} happen%p{s}
earlier
than %2")
english_format.kif 443-443
(
format
FrenchLanguage
earlier
"%1 %n{n'} arrive %n{pas} plus t�t que %2")
french_format.kif 253-253
(
format
ItalianLanguage
earlier
"%1 %n{non} accade%p{s} prima di %2")
relations-it.txt 87-87
(
format
JapaneseLanguage
earlier
"%1 は %2 より
earlier
happen%p{s} %n{ない}")
japanese_format.kif 2047-2047
(
format
PortugueseLanguage
earlier
"%1 %n{nao} acontence %n antes de %2")
portuguese_format.kif 205-205
(
format
cz
earlier
"%1 %n{doesn't} happen%p{s}
earlier
than %2")
relations-cz.txt 259-259
(
format
de
earlier
"%1 geschieht frueh als %2 %n{nicht}")
relations-de.txt 571-571
(
format
hi
earlier
"%1 %2 ke puurva ghaTita %n{nahiin} hotaa hai")
relations-hindi.txt 127-127
(
format
ro
earlier
"%1 %n{nu} se întâmplã
earlier
%t{mai devreme} decât %2")
relations-ro.kif 274-274
(
format
sv
earlier
"%1 sker %n{inte} tidigare än %2")
relations-sv.txt 277-277
(
format
tg
earlier
"%1 %n{hindi} ay kanina sa %2")
relations-tg.txt 189-189
(
relatedInternalConcept
before
earlier
)
Merge.kif 8100-8100
before
is
internally
related to
earlier
(
termFormat
ChineseLanguage
earlier
"早期")
domainEnglishFormat.kif 20790-20790
(
termFormat
ChineseLanguage
earlier
"更早")
chinese_format.kif 438-438
(
termFormat
ChineseTraditionalLanguage
earlier
"早期")
domainEnglishFormat.kif 20789-20789
(
termFormat
EnglishLanguage
earlier
"earlier")
domainEnglishFormat.kif 20788-20788
(
termFormat
tg
earlier
"kanina")
relations-tg.txt 190-190
antecedent
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
unit of length
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
2,
then
the other real number
is
greater
than
the third real number
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
If
a time interval
happens
earlier
than
another time interval
and
a time point
is an
instance
of
time point
and
another time point
is an
instance
of
time point
and
the time point
is a
part
of
the time interval
and
the other time point
is a
part
of
the other time interval
,
then
the time point
happens
before
the other time point
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
If
monarchy
is a
government
type of
an agent
and
an organism
is an
instance
of
human
and
another organism
is an
instance
of
human
and
the agent
chief
of state
an entity
for
the organism
holds
during
a time interval
and
the organism
and
the other organism
are
related
and
the time interval
happens
earlier
than
another time interval
,
then the statement
the agent
chief
of state
the entity
for
the other organism
holds
during
the other time interval
has the
modal
force
of
possibility
(=>
(
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
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
If
an object
is an
instance
of
antidiuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
the time interval
is not
equal
to
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
If
an object
is an
instance
of
diuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
organism remains
and
an agent
is an
instance
of
organism
and
another entity
is a
part
of
the entity
holds
during
a time interval
and
the other entity
is a
part
of
the agent
holds
during
another time interval
and
the other time interval
happens
earlier
than
the time interval
and
the agent
experience
s
the process
,
then
the entity
is a
result
of
the process
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
organism remains
and
an agent
is an
instance
of
organism
and
another entity
is a
part
of
the entity
holds
during
a time interval
and
the other entity
is a
part
of
the agent
holds
during
another time interval
and
the other time interval
happens
earlier
than
the time interval
and
the entity
is a
result
of
the process
,
then
the agent
experience
s
the process
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
(=>
(
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 9774-9795
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
mood stabilizer
and
a process
is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
and
the process
S is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
and
the process
S is an
instance
of
emotional state
and
the process
2 is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
2 and the
time
of existence of
the process
2 happens
earlier
than the
time
of existence of
the transfer
,
then the statement
the process
S is an
attribute
of
the agent
doesn't hold
during
the process
2 has the
modal
force
of
unlikely
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
If
a time interval
happens
earlier
than
another time interval
,
then the
end
of
the time interval
happens
before
the
beginning
of
the other time interval
consequent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
If
two-factor authentication
is an
attribute
of
an user account
and
an agent
is logged-in to
the user account
during
a time interval
,
then there exists
the time interval
F such that
the time interval
F is an
instance
of
two-factor login
and
the agent
is an
agent
of
the time interval
F and the
accountUsed
in
the time interval
F is
the user account
and the
time
of existence of
the time interval
F happens
earlier
than
the time interval
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
If the
day
a positive integer
is a
commemorates
date of
a kind of holiday
and
a time interval
is an
instance
of
a kind of holiday
and
another time interval
is an
instance
of the
year
an integer
,
then
the time interval
doesn't happen
earlier
than
the other time interval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
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
?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
?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
(
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
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
If the
developmental
form
of
an entity
is
an attribute
holds
during
a time interval
and
another attribute
is a
successor
attribute
of
the attribute
,
then there exists
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and the
developmental
form
of
the entity
is
the other attribute
holds
during
the other time interval
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
If
a transfer
is an
instance
of
bequeathing
and
an agent
is an
agent
of
the transfer
and
the transfer
end
s up at
an entity
and the object transferred in
the transfer
is
the agent
ROP,
then there exists
a process
such that
the process
is an
instance
of
death
and
the agent
experience
s
the process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the transfer
and
the agent
possess
es
the agent
ROP holds
during
immediately
before
the
time
of existence of
the process
and
the agent
confers
norm
the entity
possess
es
the agent
ROP for
permission
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24019-24028
If
a process
is an
instance
of
birth
and
the process
originate
s at
an object
,
then there exist
an entity
and
a time interval
such that
the entity
is an
instance
of
zygote
and
the time interval
happens
earlier
than the
time
of existence of
the process
and
the entity
is
located
at
the object
holds
during
the time interval
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
If
a process
is an
instance
of
bleeding
and
an agent
experience
s
the process
,
then there exist
an object
and
another process
such that
the object
is an
instance
of
vein
or
the object
is an
instance
of
artery
and
the object
is a
part
of
the agent
and
the other process
is an
instance
of
damaging
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the object
is a
patient
of
the other process
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
If
a process
is an
instance
of
bodybuilding
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
weightlifting
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
If
a transfer
is an
instance
of
breakthrough case
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
an agent
experience
s
the transfer
,
then there exists
the object
AX such that
the object
AX is an
instance
of
vaccination
and
the agent
experience
s
the object
AX and
the object
ACCINECLASS is a
vaccine
for
the object
C and
the object
ACCINE is an
instance
of
the object
ACCINECLASS and the object transferred in
the object
AX is
the object
ACCINE and the
time
of existence of
the object
AX happens
earlier
than the
time
of existence of
the transfer
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
If
a computer process
is an
instance
of
backup
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
digital data
and
a cognitive agent
is an
agent
of
the computer process
,
then
the cognitive agent
desire
s there exists
an entity
such that the
time
of existence of
the computer process
happens
earlier
than
the entity
and there exists
another entity
such that
the other entity
is an
instance
of
computer process
and
the digital data
is
capable
of doing
the other entity
as a
data processed
holds
during
the entity
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29639-29653
If
a time interval
is an
instance
of
confirming
and
an agreement
is an
agent
of
the time interval
and
the time interval
contain
s information
a proposition
,
then there exist
another time interval
,
a content bearing physical
and
the agreement
2 such that
the other time interval
is an
instance
of
stating
and
the other time interval
happens
earlier
than
the time interval
and
the content bearing physical
is an
instance
of
reaching agreement
and
the agreement
2 is an
agent
of
the other time interval
and
the content bearing physical
contain
s information
the proposition
and
the other time interval
contain
s information
the proposition
and
the agreement
is a
party
to agreement of
the content bearing physical
and
the agreement
2 is a
party
to agreement of
the content bearing physical
(=>
(
and
(
instance
?D
Decreasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
lessThan
?N1 ?N2))))
Merge.kif 10941-10954
If
a process
is an
instance
of
decreasing
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
,, ,
a time interval
,, ,
another time interval
and
another entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the real number
the other entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the other real number
the other entity
(s) holds
during
the other time interval
and
the real number
is
less
than
the other real number
(=>
(
and
(
instance
?D
Increasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
greaterThan
?N1 ?N2))))
Merge.kif 10899-10912
If
a process
is an
instance
of
increasing
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
,, ,
a time interval
,, ,
another time interval
and
another entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the real number
the other entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the other real number
the other entity
(s) holds
during
the other time interval
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?D
QuantityChange
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
not
(
equal
?N1 ?N2)))))
Merge.kif 10878-10891
If
a process
is an
instance
of
quantity change
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a third entity
,, ,
a time interval
,, ,
another time interval
and
a fourth entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the other entity
the fourth entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the third entity
the fourth entity
(s) holds
during
the other time interval
and
the other entity
is not
equal
to
the third entity
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
the other positive integer
is
greater
than
the positive integer
,
then
the time interval
happens
earlier
than
the other time interval
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
If
a process
is an
instance
of
dismantling weapon of mass destruction
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
developing weapon of mass destruction
and
the entity
is a
result
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16690-16702
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
secondary school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16671-16683
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
high school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18202-18219
There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an
instance
of
paper shredder
and ?CUT is an
instance
of
cutting
and ?X is an
instrument
for ?CUT and ?PAPER is an
instance
of
paper
and ?PAPER is a
patient
of ?CUT and ?CBO is
located
at ?PAPER and ?CBO is an
instance
of
visual content bearing object
and ?CBO
contain
s information ?INFO
decrease
s likelihood of there exists ?READ such that ?READ is an
instance
of
interpreting
and ?INFO is a
patient
of ?READ and the
time
of existence of ?CUT happens
earlier
than the
time
of existence of ?READ
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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