Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 8472-8474
(
documentation
earlier
JapaneseLanguage
"(
earlier
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL2 が開始される前に
TimeInterval
?INTERVAL1 が終了することを意味する。")
japanese_format.kif 1449-1450
(
domain
earlier
1
TimeInterval
)
Merge.kif 8469-8469
Le nombre 1 argument de
earlier
est une
instance
de
interval temporel
(
domain
earlier
2
TimeInterval
)
Merge.kif 8470-8470
Le nombre 2 argument de
earlier
est une
instance
de
interval temporel
(
instance
earlier
BinaryPredicate
)
Merge.kif 8464-8464
earlier
est une
instance
de
pr�dicat binaire
(
instance
earlier
IrreflexiveRelation
)
Merge.kif 8467-8467
earlier
est une
instance
de
relation irr�flexive
(
instance
earlier
TemporalRelation
)
Merge.kif 8465-8465
earlier
est une
instance
de
relation temporel
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8468-8468
earlier
est une
instance
de
relation total
(
instance
earlier
TransitiveRelation
)
Merge.kif 8466-8466
earlier
est une
instance
de
relation transitive
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 8198-8198
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
ChineseLanguage
earlier
"早期")
domainEnglishFormat.kif 20799-20799
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
ChineseLanguage
earlier
"更早")
chinese_format.kif 438-438
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
ChineseTraditionalLanguage
earlier
"早期")
domainEnglishFormat.kif 20798-20798
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
EnglishLanguage
earlier
"earlier")
domainEnglishFormat.kif 20797-20797
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
de
earlier
"frueh")
terms-de.txt 176-176
before
est
reli
� � l'int�rieur de SUMO �
earlier
(
termFormat
tg
earlier
"kanina")
relations-tg.txt 190-190
before
est
reli
� � l'int�rieur de SUMO �
earlier
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
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
nombre r�el
nombre r�el
est
plus
grand
que 0
processus
est une
instance
de
Tremor
PhysicalSystem
est un
patient
de
processus
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
processus
1
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
processus
2
processus
1 prend place
pendant
temps
d'existence de
processus
processus
2 prend place
pendant
temps
d'existence de
processus
processus
1 arrive
plus
t�t que
processus
2
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8379-8386
Interval temporel
arrive
plus
t�t que
interval temporel
point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est une
partie
de
interval temporel
point temporel
se produit
avant
point temporel
(=>
(
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
organisme
est une
instance
de
humain
organisme
est une
instance
de
humain
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
organisme
et
organisme
sont
parents
interval temporel
arrive
plus
t�t que
interval temporel
l'argument
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
a la
force
modale
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 486-495
AutonomousAgent
desire
Dead
est un
attribut
de
entit�
pendant
interval temporel
AutonomousAgent
URDER est une
instance
de
Murder
AutonomousAgent
URDER est un
agent
de
AutonomousAgent
entit�
est un
patient
de
AutonomousAgent
URDER
interval temporel
arrive
plus
t�t que
temps
d'existence de
AutonomousAgent
URDER
Premeditated
est un
attribut
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 11384-11407
Objet
est une
instance
de
Antidiuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
interval temporel
est
interval temporel
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
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 11354-11375
Objet
est une
instance
de
Diuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
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
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
AutonomousAgent
exp
�rimente
processus
entit�
est le
resultat
de
processus
(=>
(
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
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?G
StrongGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThan
?DIFF 17)
(
lessThanOrEqualTo
?DIFF 29)))
Weather.kif 1732-1748
Processus
est une
instance
de
StrongGust
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
ThreeSecondGustSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
est
nombre r�el
MilesPerHour
(s)
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
surfaceWindSpeed
secteur g�ographique
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
que 17
nombre r�el
est plus
petit
ou �gal � 29
(=>
(
and
(
instance
?G
ViolentGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
greaterThan
?DIFF 29))
Weather.kif 1755-1769
Processus
est une
instance
de
ViolentGust
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
ThreeSecondGustSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
est
nombre r�el
MilesPerHour
(s)
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
surfaceWindSpeed
secteur g�ographique
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
que 29
(=>
(
and
(
instance
?G
WeakGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThanOrEqualTo
?DIFF 12)
(
lessThanOrEqualTo
?DIFF 17)))
Weather.kif 1709-1725
Processus
est une
instance
de
WeakGust
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
ThreeSecondGustSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
est
nombre r�el
MilesPerHour
(s)
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
surfaceWindSpeed
secteur g�ographique
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
ou �gal � 12
nombre r�el
est plus
petit
ou �gal � 17
(=>
(
and
(
instance
?G
WindGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
(
WhenFn
?G) ?T)
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
greaterThanOrEqualTo
?DIFF 10))
Weather.kif 1688-1702
Processus
est une
instance
de
WindGust
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
ThreeSecondGustSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
est
nombre r�el
MilesPerHour
(s)
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
surfaceWindSpeed
secteur g�ographique
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
ou �gal � 10
(=>
(
and
(
instance
?G
WindGust
)
(
eventLocated
?G ?R)
(
instance
?R
GeographicArea
)
(
equal
(
ThreeSecondGustSpeedFn
?R
(
WhenFn
?G))
(
MeasureFn
?TOP
MilesPerHour
))
(
earlier
?T
(
WhenFn
?G))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThanOrEqualTo
?TOP 18)
(
greaterThanOrEqualTo
?DIFF 10)))
Weather.kif 1670-1686
Processus
est une
instance
de
WindGust
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
ThreeSecondGustSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
est
nombre r�el
MilesPerHour
(s)
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
surfaceWindSpeed
secteur g�ographique
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
ou �gal � 18
nombre r�el
est
plus
grand
ou �gal � 10
(=>
(
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
est une
instance
de
Man
Mausaharati
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Drumming
processus
est un
agent
de
AutonomousAgent
processus
AY est une
instance
de
jour
interval temporel
est une
instance
de
Sunrise
interval temporel
prend place
pendant
processus
AY
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
processus
a pour
but
entit�
interval temporel
UHUR and
entit�
entit�
est une
instance
de
WakingUp
entit�
exp
�rimente
entit�
interval temporel
UHUR est une
instance
de
Suhur
interval temporel
UHUR est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
interval temporel
UHUR
temps
d'existence de
entit�
prend place
pendant
processus
AY
temps
d'existence de
interval temporel
UHUR prend place
pendant
processus
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 11103-11124
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
MoodStabilizer
processus
est une
instance
de
processus
C
involvedInEvent
processus
and
AutonomousAgent
processus
S est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
processus
S est une
instance
de
�tat �motionnel
processus
2 est une
instance
de
processus
C
involvedInEvent
processus
2 and
AutonomousAgent
temps
d'existence de
processus
2 arrive
plus
t�t que
temps
d'existence de
transf�re
l'argument
processus
S est un
attribut
de
AutonomousAgent
pendant
processus
2 a la
force
modale
de
Unlikely
(=>
(
and
(
instance
?S
Squall
)
(
eventLocated
?S ?R)
(
instance
?R
GeographicArea
)
(
holdsDuring
(
WhenFn
?S)
(
surfaceWindSpeed
?R
(
MeasureFn
?TOP
MilesPerHour
)))
(
earlier
?T
(
WhenFn
?S))
(
holdsDuring
?T
(
surfaceWindSpeed
?R
(
MeasureFn
?BASE
MilesPerHour
)))
(
equal
?DIFF
(
SubtractionFn
?TOP ?BASE)))
(
and
(
greaterThanOrEqualTo
?TOP 25)
(
greaterThanOrEqualTo
?DIFF 18)))
Weather.kif 1622-1639
Processus
est une
instance
de
Squall
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
surfaceWindSpeed
objet
and
nombre r�el
MilesPerHour
(s)
pendant
temps
d'existence de
processus
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
surfaceWindSpeed
objet
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
nombre r�el
est
plus
grand
ou �gal � 25
nombre r�el
est
plus
grand
ou �gal � 18
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8476-8478
Interval temporel
arrive
plus
t�t que
interval temporel
la
fin
de
interval temporel
se produit
avant
le
d
�but de
interval temporel
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 4368-4377
TwoFactorAuthentication
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 576-581
commemoratesDate
Holiday
and le
jour
nombre entier positif
interval temporel
est une
instance
de
Holiday
interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
n' arrive
plus
t�t que
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1492-1504
ChronicFatigueSyndrome
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
r�cr�ation ou exercice
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
l'argument
PostExertionalMalaise
est un
attribut
de
AutonomousAgent
pendant
interval temporel
2
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
2 a la
force
modale
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
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
_PLACE and
entit�
_RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
_RES est une
instance
de
objet
entit�
_PLACE est une
instance
de
secteur g�opolitique
entit�
_RES est
situ
� �
entit�
_PLACE
secteur g�ographique
est
entit�
_PLACE
entit�
est
entit�
_RES
geographicSubregion
secteur g�ographique
and
entit�
_PLACE
geographicSubregion
entit�
_PLACE and
secteur g�ographique
entit�
vie
�
entit�
_RES
pendant
interval temporel
(=>
(
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
est un
attribut
de
AutonomousAgent
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
AutonomousAgent
processus
est une
instance
de
Evacuation
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
MilitaryOrganization
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
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
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
entit�
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
causesProposition
fears
entit�
and
entit�
pendant
interval temporel
and
InternallyDisplacedPerson
est un
attribut
de
entit�
pendant
interval temporel
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 9139-9149
spouse
entit�
and
entit�
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
processus
est une
instance
de
Wedding
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14475-14482
La
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
attribut
est un
attribut
successeur
de
attribut
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
la
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
(=>
(
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 20250-20266
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
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 25667-25676
Processus
est une
instance
de
naissance
processus
a pour
origine
objet
entit�
interval temporel
entit�
est une
instance
de
Zygote
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
interval temporel
(=>
(
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
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 790-800
Processus
est une
instance
de
Bodybuilding
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Weightlifting
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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 3180-3195
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
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 3492-3506
ComputerProcess
est une
instance
de
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
DigitalData
ComputerProcess
est un
agent
de
agent cognitif
agent cognitif
desire
entit�
temps
d'existence de
ComputerProcess
arrive
plus
t�t que
entit�
entit�
entit�
est une
instance
de
ComputerProcess
DigitalData
est
capable
de faire
entit�
dans le r�le
dataProcessed
pendant
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 31560-31574
Interval temporel
est une
instance
de
Confirming
interval temporel
est un
agent
de
Agreement
interval temporel
contient
information
proposition
interval temporel
ContentBearingPhysical
and
Agreement
2
interval temporel
est une
instance
de
d�clarer
interval temporel
arrive
plus
t�t que
interval temporel
ContentBearingPhysical
est une
instance
de
ReachingAgreement
interval temporel
est un
agent
de
Agreement
2
ContentBearingPhysical
contient
information
proposition
interval temporel
contient
information
proposition
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 11064-11077
Processus
est une
instance
de
diminuer
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
,
interval temporel
,
interval temporel
and
entit�
interval temporel
arrive
plus
t�t que
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
moins
que
nombre r�el
(=>
(
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 11022-11035
Processus
est une
instance
de
augmenter
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
,
interval temporel
,
interval temporel
and
entit�
interval temporel
arrive
plus
t�t que
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 11001-11014
Processus
est une
instance
de
changement de quantit�
entit�
est un
patient
de
processus
entit�
entit�
,
interval temporel
,
interval temporel
and
entit�
interval temporel
arrive
plus
t�t que
interval temporel
la
mesure
de
entit�
est
entit�
entit�
(s)
pendant
interval temporel
la
mesure
de
entit�
est
entit�
entit�
(s)
pendant
interval temporel
entit�
est
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 8829-8834
Interval temporel
est une
instance
de le
jour
nombre entier positif
interval temporel
est une
instance
de le
jour
nombre entier positif
nombre entier positif
est
plus
grand
que
nombre entier positif
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
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
Processus
est une
instance
de
DismantlingWeaponOfMassDestruction
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
DevelopingWeaponOfMassDestruction
entit�
est le
resultat
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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 18077-18089
Processus
est une
instance
de
inscription
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
College
processus
AutonomousAgent
processus
est une
instance
de
recevoir un dipl�me
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
SecondarySchool
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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 18058-18070
Processus
est une
instance
de
inscription
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
College
processus
AutonomousAgent
processus
est une
instance
de
recevoir un dipl�me
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
HighSchool
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
est une
instance
de
Man
Mausaharati
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Drumming
processus
est un
agent
de
AutonomousAgent
processus
AY est une
instance
de
jour
interval temporel
est une
instance
de
Sunrise
interval temporel
prend place
pendant
processus
AY
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
processus
a pour
but
entit�
interval temporel
UHUR and
entit�
entit�
est une
instance
de
WakingUp
entit�
exp
�rimente
entit�
interval temporel
UHUR est une
instance
de
Suhur
interval temporel
UHUR est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
interval temporel
UHUR
temps
d'existence de
entit�
prend place
pendant
processus
AY
temps
d'existence de
interval temporel
UHUR prend place
pendant
processus
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 19773-19790
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une
instance
de
PaperShredder
?CUT est une
instance
de
couper
?X est un
instrument
pour ?CUT ?PAPER est une
instance
de
Paper
?PAPER est un
patient
de ?CUT ?CBO est
situ
� � ?PAPER ?CBO est une
instance
de
VisualContentBearingObject
?CBO
contient
information ?INFO
diminue
la probabilit� de ?READ ?READ est une
instance
de
Interpreting
?INFO est un
patient
de ?READ
temps
d'existence de ?CUT arrive
plus
t�t que
temps
d'existence 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