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
DorsumOfTheNoseArtery
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
Il numero 1 argomenti di
earlier
è un
istanza
di
IntervalloTemporale
(
domain
earlier
2
TimeInterval
)
Merge.kif 8372-8372
Il numero 2 argomenti di
earlier
è un
istanza
di
IntervalloTemporale
(
instance
earlier
BinaryPredicate
)
Merge.kif 8366-8366
earlier
è un'
istanza
di
PredicatoBinario
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8369-8369
earlier
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
earlier
TemporalRelation
)
Merge.kif 8367-8367
earlier
è un'
istanza
di
RelazioneTemporale
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
è un'
istanza
di
RelazioneAValoreTotale
(
instance
earlier
TransitiveRelation
)
Merge.kif 8368-8368
earlier
è un'
istanza
di
RelazioneTransitiva
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
è
interamente
correlato 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
NumeroReale
NumeroReale
è
pi
ù grande di 0
IntervalloTemporale
è un'
istanza
di
Tremor
PhysicalSystem
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
1
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
2
IntervalloTemporale
1 has luogo
durante
IntervalloTemporale
IntervalloTemporale
2 has luogo
durante
IntervalloTemporale
IntervalloTemporale
1 accades
prima
di
IntervalloTemporale
2
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
IntervalloTemporale
accades
prima
di
IntervalloTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
è un'
istanza
di
Umano
Organismo
è un'
istanza
di
Umano
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
Organismo
e
Organismo
sono
parenti
IntervalloTemporale
accades
prima
di
IntervalloTemporale
l'affermazione
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
ha il modello di forza di
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
desidera
s
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
AutonomousAgent
URDER è un'
istanza
di
Murder
AutonomousAgent
URDER è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
AutonomousAgent
URDER
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
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
Oggetto
è un'
istanza
di
Antidiuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
IntervalloTemporale
is
uguale
a
IntervalloTemporale
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
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
Oggetto
è un'
istanza
di
Diuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
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
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Entit�
è un
risultato
di
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
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è un
risultato
di
Processo
AutonomousAgent
esperisce
s
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
è un'
istanza
di
Man
attribute
AutonomousAgent
and
Mausaharati
Processo
è un'
istanza
di
Drumming
Processo
è un
agente
di
AutonomousAgent
Processo
AY è un'
istanza
di
Giorno
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
has luogo
durante
Processo
AY il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
Processo
ha
scopo
Entit�
IntervalloTemporale
UHUR and
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
IntervalloTemporale
UHUR è un'
istanza
di
Suhur
IntervalloTemporale
UHUR è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
IntervalloTemporale
UHUR il
tempo
di esistenza di
Entit�
has luogo
durante
Processo
AY il
tempo
di esistenza di
IntervalloTemporale
UHUR has luogo
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
Unlikely
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
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
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
IntervalloTemporale
F
IntervalloTemporale
F è un'
istanza
di
TwoFactorLoggingIn
IntervalloTemporale
F è un
agente
di
AutonomousAgent
accountUsed
IntervalloTemporale
F and
UserAccount
il
tempo
di esistenza di
IntervalloTemporale
F accades
prima
di
IntervalloTemporale
(=>
(
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 il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di
Holiday
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
non accade
prima
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
l'affermazione
attribute
AutonomousAgent
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
2 il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
2 ha il modello di forza di
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
attribute
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
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
attribute
AutonomousAgent
and
Evacuee
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
AutonomousAgent
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
MilitaryOrganization
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
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
attribute
Entit�
and
InternallyDisplacedPerson
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
causesProposition
fears
Entit�
and
Entit�
vales
durante
IntervalloTemporale
and
attribute
Entit�
and
InternallyDisplacedPerson
vales
durante
IntervalloTemporale
(=>
(
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
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Wedding
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
La
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
Attributo
è un
attributo
successore di
Attributo
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
(=>
(
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
Trasferimento
è un'
istanza
di
Bequeathing
Trasferimento
è un
agente
di
AutonomousAgent
Trasferimento
fine
s in
Entit�
objectTransferred
Trasferimento
and
AutonomousAgent
ROP
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Trasferimento
AutonomousAgent
possiede
es
AutonomousAgent
ROP vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
confersNorm
AutonomousAgent
,
Entit�
possiede
es
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
è un'
istanza
di
Nascita
Processo
si
originas in
Oggetto
Entit�
IntervalloTemporale
Entit�
è un'
istanza
di
Zygote
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
IntervalloTemporale
(=>
(
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
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Oggetto
Processo
Oggetto
è un'
istanza
di
Vein
Oggetto
è un'
istanza
di
Artery
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un'
istanza
di
Danneggiare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Oggetto
è un
paziente
di
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
è un'
istanza
di
Bodybuilding
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Weightlifting
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
Trasferimento
è un'
istanza
di
BreakthroughInfection
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
AX
Oggetto
AX è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Oggetto
AX
vaccine
Oggetto
ACCINECLASS and
Oggetto
C
Oggetto
ACCINE è un'
istanza
di
Oggetto
ACCINECLASS
objectTransferred
Oggetto
AX and
Oggetto
ACCINE il
tempo
di esistenza di
Oggetto
AX accades
prima
di il
tempo
di esistenza di
Trasferimento
(=>
(
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
è un'
istanza
di
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
DigitalData
ComputerProcess
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
il
tempo
di esistenza di
ComputerProcess
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
DigitalData
è
capace
di fare
Entit�
nel ruolo
dataProcessed
vales
durante
Entit�
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Confirming
IntervalloTemporale
è un
agente
di
Agreement
IntervalloTemporale
contiene
s informazione
Proposizione
IntervalloTemporale
ContentBearingPhysical
and
Agreement
2
IntervalloTemporale
è un'
istanza
di
Affermare
IntervalloTemporale
accades
prima
di
IntervalloTemporale
ContentBearingPhysical
è un'
istanza
di
ReachingAgreement
IntervalloTemporale
è un
agente
di
Agreement
2
ContentBearingPhysical
contiene
s informazione
Proposizione
IntervalloTemporale
contiene
s informazione
Proposizione
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
è un'
istanza
di
Diminuzione
Entit�
è un
paziente
di
Processo
NumeroReale
NumeroReale
,
IntervalloTemporale
,
IntervalloTemporale
and
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
è un'
istanza
di
Aumento
Entit�
è un
paziente
di
Processo
NumeroReale
NumeroReale
,
IntervalloTemporale
,
IntervalloTemporale
and
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
CambiamentoQuantitativo
Entit�
è un
paziente
di
Processo
Entit�
Entit�
,
IntervalloTemporale
,
IntervalloTemporale
and
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
misura
Entit�
è
Entit�
Entit�
(s vales
durante
IntervalloTemporale
la
misura
Entit�
è
Entit�
Entit�
(s vales
durante
IntervalloTemporale
Entit�
is
uguale
a
Entit�
(=>
(
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
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
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
è un'
istanza
di
DismantlingWeaponOfMassDestruction
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
DevelopingWeaponOfMassDestruction
Entit�
è un
risultato
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
Iscrizione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
College
Processo
AutonomousAgent
Processo
è un'
istanza
di
ConseguimentoDiplomiAccademici
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
SecondarySchool
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
Iscrizione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
College
Processo
AutonomousAgent
Processo
è un'
istanza
di
ConseguimentoDiplomiAccademici
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
HighSchool
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
Man
attribute
AutonomousAgent
and
Mausaharati
Processo
è un'
istanza
di
Drumming
Processo
è un
agente
di
AutonomousAgent
Processo
AY è un'
istanza
di
Giorno
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
has luogo
durante
Processo
AY il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
Processo
ha
scopo
Entit�
IntervalloTemporale
UHUR and
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
IntervalloTemporale
UHUR è un'
istanza
di
Suhur
IntervalloTemporale
UHUR è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
IntervalloTemporale
UHUR il
tempo
di esistenza di
Entit�
has luogo
durante
Processo
AY il
tempo
di esistenza di
IntervalloTemporale
UHUR has luogo
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
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un'
istanza
di
PaperShredder
?CUT è un'
istanza
di
Tagliare
?X è uno
strumento
per ?CUT ?PAPER è un'
istanza
di
Paper
?PAPER è un
paziente
di ?CUT ?CBO è
localizzato
in ?PAPER ?CBO è un'
istanza
di
VisualContentBearingObject
?CBO
contiene
s informazione ?INFO and ?READ ?READ è un'
istanza
di
Interpreting
?INFO è un
paziente
di ?READ il
tempo
di esistenza di ?CUT accades
prima
di il
tempo
di esistenza di ?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