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
O argumento numero 1 de
earlier
e' uma
instancia
de
Intervalo Temporal
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
O argumento numero 2 de
earlier
e' uma
instancia
de
Intervalo Temporal
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
earlier
e' uma
instancia
de
Predicado Binario
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
earlier
e' uma
instancia
de
Relacao Irreflexiva
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
earlier
e' uma
instancia
de
Relacao Temporal
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
e' uma
instancia
de
Relacao Total
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
earlier
e' uma
instancia
de
Relacao Transitiva
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
e'
relacionado
internamente por SUMO a
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
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que 0
Intervalo Temporal
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
1
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
2
Intervalo Temporal
1 acontece
durante
Intervalo Temporal
Intervalo Temporal
2 acontece
durante
Intervalo Temporal
Intervalo Temporal
1 acontence
antes
de
Intervalo Temporal
2
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
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
governmentType
AutonomousAgent
and
Monarchy
Organismo
e' uma
instancia
de
Humano
Organismo
e' uma
instancia
de
Humano
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
Organismo
e
Organismo
sao
parentes
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
o argumento
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
tem a
forca
modal
de
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
AutonomousAgent
deseja
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
AutonomousAgent
URDER e' uma
instancia
de
Murder
AutonomousAgent
URDER e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
AutonomousAgent
URDER
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
AutonomousAgent
URDER
Premeditated
e' um
atributo
de
AutonomousAgent
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
Objeto
e' uma
instancia
de
Antidiuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
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
Objeto
e' uma
instancia
de
Diuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
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
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
(=>
(
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
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
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
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
MoodStabilizer
Processo
e' uma
instancia
de
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
Processo
S e' uma
instancia
de
Estado Emocional
Processo
2 e' uma
instancia
de
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
tempo
de existencia de
Processo
2 acontence
antes
de
tempo
de existencia de
Transferencia
o argumento
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
Processo
2 tem a
forca
modal
de
Unlikely
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
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
TwoFactorAuthentication
e' um
atributo
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
Intervalo Temporal
F
Intervalo Temporal
F e' uma
instancia
de
TwoFactorLoggingIn
Intervalo Temporal
F e' um
agente
de
AutonomousAgent
accountUsed
Intervalo Temporal
F and
UserAccount
tempo
de existencia de
Intervalo Temporal
F acontence
antes
de
Intervalo Temporal
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de
Holiday
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
nao acontence %n
antes
de
Intervalo Temporal
(=>
(
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
firstTimeBuyers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
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
firstTimeSellers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
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
ChronicFatigueSyndrome
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
o argumento
PostExertionalMalaise
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
2
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
2 tem a
forca
modal
de
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
DislocatedCivilian
e' um
atributo
de
Entidade
Entidade
vive
em
Entidade
Entidade
e'
situado
em
Area Geografica
vale
durante
Intervalo Temporal
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Entidade
-PLACE and
Entidade
-RES
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
-RES e' uma
instancia
de
Objeto
Entidade
-PLACE e' uma
instancia
de
Area Geopolitica
Entidade
-RES e'
situado
em
Entidade
-PLACE
Area Geografica
e'
igual
a
Entidade
-PLACE
Entidade
e'
igual
a
Entidade
-RES
geographicSubregion
Area Geografica
and
Entidade
-PLACE
geographicSubregion
Entidade
-PLACE and
Area Geografica
Entidade
vive
em
Entidade
-RES
vale
durante
Intervalo Temporal
(=>
(
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
Evacuee
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
MilitaryOrganization
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
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
InternallyDisplacedPerson
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
causesProposition
fears
Entidade
and
Entidade
vale
durante
Intervalo Temporal
and
InternallyDisplacedPerson
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
(=>
(
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
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Wedding
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
A
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
Atributo
e' um
atributo
sucessor
de
Atributo
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
(=>
(
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
Transferencia
e' uma
instancia
de
Bequeathing
Transferencia
e' um
agente
de
AutonomousAgent
Transferencia
termina
em
Entidade
objectTransferred
Transferencia
and
AutonomousAgent
ROP
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Transferencia
AutonomousAgent
possui
AutonomousAgent
ROP
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
confersNorm
AutonomousAgent
,
Entidade
possui
AutonomousAgent
ROP and
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
Processo
e' uma
instancia
de
Nascimento
Processo
tem como
origem
Objeto
Entidade
Intervalo Temporal
Entidade
e' uma
instancia
de
Zygote
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Objeto
Processo
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' uma
instancia
de
Causar Dano
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Bodybuilding
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Weightlifting
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
(=>
(
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
ComputerProcess
e' uma
instancia
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
DigitalData
ComputerProcess
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
tempo
de existencia de
ComputerProcess
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
DigitalData
e'
capaz
de fazer
Entidade
no role
dataProcessed
vale
durante
Entidade
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
Confirming
Intervalo Temporal
e' um
agente
de
Agreement
Intervalo Temporal
contem
informacao
Proposicao
Intervalo Temporal
ContentBearingPhysical
and
Agreement
2
Intervalo Temporal
e' uma
instancia
de
Declarar
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
ContentBearingPhysical
e' uma
instancia
de
ReachingAgreement
Intervalo Temporal
e' um
agente
de
Agreement
2
ContentBearingPhysical
contem
informacao
Proposicao
Intervalo Temporal
contem
informacao
Proposicao
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
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
Processo
e' uma
instancia
de
Diminuir
Entidade
e' um
patient
de
Processo
Numero Real
Numero Real
,
Intervalo Temporal
,
Intervalo Temporal
and
Entidade
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Aumentar
Entidade
e' um
patient
de
Processo
Numero Real
Numero Real
,
Intervalo Temporal
,
Intervalo Temporal
and
Entidade
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Modificacao de Quantidade
Entidade
e' um
patient
de
Processo
Entidade
Entidade
,
Intervalo Temporal
,
Intervalo Temporal
and
Entidade
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
medida
de
Entidade
e'
Entidade
Entidade
(s)
vale
durante
Intervalo Temporal
a
medida
de
Entidade
e'
Entidade
Entidade
(s)
vale
durante
Intervalo Temporal
Entidade
e'
igual
a
Entidade
(=>
(
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
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
maior
que
Inteiro positivo
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
DismantlingWeaponOfMassDestruction
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
Entidade
e' o
resultado
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Matricula
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
College
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Graduacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
SecondarySchool
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Matricula
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
College
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Graduacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
HighSchool
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
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
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
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
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?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