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
meetsTemporally
Sigma KEE - meetsTemporally
meetsTemporally
appearance as argument number 1
(
documentation
meetsTemporally
ChineseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) 的意思是
TimeInterval
?INTERVAL1 的终点是
TimeInterval
?INTERVAL2 起点。")
chinese_format.kif 2722-2723
(
documentation
meetsTemporally
EnglishLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) means that the terminal point of the
TimeInterval
?INTERVAL1 is the initial point of the
TimeInterval
?INTERVAL2.")
Merge.kif 8329-8331
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8326-8326
Le nombre 1 argument de
meetsTemporally
est une
instance
de
interval temporel
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
Le nombre 2 argument de
meetsTemporally
est une
instance
de
interval temporel
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
meetsTemporally
est une
instance
de
relation asym�trique
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
meetsTemporally
est une
instance
de
pr�dicat binaire
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
meetsTemporally
est une
instance
de
relation intransitive
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
meetsTemporally
est une
instance
de
relation temporel
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meetsTemporally
est une
instance
de
relation total
appearance as argument number 2
(
format
ChineseLanguage
meetsTemporally
"%1 %n{doesn't} 接着 %2")
chinese_format.kif 435-435
(
format
EnglishLanguage
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 441-441
(
format
FrenchLanguage
meetsTemporally
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 252-252
(
format
ItalianLanguage
meetsTemporally
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 180-180
(
format
JapaneseLanguage
meetsTemporally
"%1 は %2 に meet%p{s} %n{ない}")
japanese_format.kif 2046-2046
(
format
PortugueseLanguage
meetsTemporally
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 204-204
(
format
cz
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
relations-cz.txt 258-258
(
format
de
meetsTemporally
"%1 schliesst %2 zeitlich %n{nicht} an")
relations-de.txt 568-568
(
format
hi
meetsTemporally
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 218-218
(
format
ro
meetsTemporally
"%1 %n{nu} meet%t{se continuã} cu %2")
relations-ro.kif 273-273
(
format
sv
meetsTemporally
"%1 möter %n{inte} %2")
relations-sv.txt 276-276
(
format
tg
meetsTemporally
"%1 %n ay sumali sa %2")
relations-tg.txt 356-356
(
termFormat
ChineseLanguage
meetsTemporally
"在时间上接着")
chinese_format.kif 436-436
(
termFormat
ChineseLanguage
meetsTemporally
"短暂相遇")
domainEnglishFormat.kif 36923-36923
(
termFormat
ChineseTraditionalLanguage
meetsTemporally
"短暫相遇")
domainEnglishFormat.kif 36922-36922
(
termFormat
EnglishLanguage
meetsTemporally
"meets temporally")
domainEnglishFormat.kif 36921-36921
antecedent
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
Interval temporel
est une
instance
de
Dimanche
interval temporel
est une
instance
de
Lundi
interval temporel
est une
instance
de
semaine
interval temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
interval temporel
interval temporel
est une
partie
de
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
Processus
est une
instance
de
DrawingACheck
entit�
est un
patient
de
processus
processus
est une
instance
de
ProcessingACheck
entit�
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
temps
d'existence de
processus
est
processus
Time
processus
Time
rencontre
interval temporel
interval temporel
rencontre
processus
Time la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 6
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
Interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
Lent
interval temporel
rencontre
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
est une
instance
de
ann�e
interval temporel
prend place
pendant
interval temporel
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
Interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
Lent
interval temporel
rencontre
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
est une
instance
de
ann�e
interval temporel
prend place
pendant
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
Interval temporel
est une
instance
de le
moi
Decembre
interval temporel
est une
instance
de le
moi
Janvier
interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
ann�e
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
Interval temporel
est une
instance
de
Advent
interval temporel
est une
instance
de
ChristmasDay
interval temporel
prend place
pendant
interval temporel
interval temporel
est une
instance
de
ann�e
interval temporel
rencontre
interval temporel
interval temporel
prend place
pendant
interval temporel
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
Interval temporel
est une
instance
de
Advent
interval temporel
est une
instance
de
ChristmasDay
interval temporel
prend place
pendant
interval temporel
interval temporel
est une
instance
de
ann�e
interval temporel
rencontre
interval temporel
interval temporel
prend place
pendant
interval temporel
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
Interval temporel
est une
instance
de
Advent
interval temporel
est une
instance
de
ChristmasDay
interval temporel
rencontre
interval temporel
interval temporel
interval temporel
est une
instance
de
ann�e
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Concussion
est un
attribut
de
entit�
pendant
interval temporel
Concussion
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
rencontre
interval temporel
l'argument
inconscient
est un
attribut
de
entit�
pendant
le
d
�but de
interval temporel
a la
force
modale
de
Likely
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
startupTimeDelay
programme d'ordinateur
and
dur�e temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
physique
est une
instance
de
ComputerProcess
temps
d'existence de
physique
est
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
Interval temporel
rencontre
interval temporel
la
fin
de
interval temporel
est
d
�but de
interval temporel
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
Interval temporel
rencontre
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
consequent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
est un
attribut
de
objet
objet
est une
instance
de
Table
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
eventLocated
processus
and
objet
l'argument
entit�
entit�
and
objet
2
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
AutonomousAgent
est
entit�
entit�
est une
instance
de
GroupOfPeople
eventLocated
entit�
and
objet
2
temps
d'existence de
processus
rencontre
temps
d'existence de
entit�
objet
est
objet
2 a la
force
modale
de
Possibility
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Larval
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processus
est une
instance
de
Dodging
processus
est un
agent
de
AutonomousAgent
processus
T est
temps
d'existence de
processus
processus
a pour
but
entit�
processus
T
rencontre
temps
d'existence de
entit�
temps
d'existence de
entit�
recouvre
processus
T
entit�
est une
instance
de
impacte
AutonomousAgent
est un
patient
de
entit�
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
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
+
nombre entier positif
) est
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
Interval temporel
est une
instance
de
Vendredi
interval temporel
est une
instance
de
Samedi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
Interval temporel
est une
instance
de
Lundi
interval temporel
est une
instance
de
Mardi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
Interval temporel
est une
instance
de
Samedi
interval temporel
est une
instance
de
Dimanche
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
Interval temporel
est une
instance
de
Dimanche
interval temporel
est une
instance
de
Lundi
interval temporel
est une
instance
de
semaine
interval temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
interval temporel
interval temporel
est une
partie
de
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
Interval temporel
est une
instance
de
Jeudi
interval temporel
est une
instance
de
Vendredi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
Interval temporel
est une
instance
de
Mardi
interval temporel
est une
instance
de
Mercredi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
Interval temporel
est une
instance
de
Mercredi
interval temporel
est une
instance
de
Jeudi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
physique
physique
est une
instance
de
pursuivre
temps
d'existence de
physique
rencontre
temps
d'existence de
processus
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processus
est une
instance
de
Downtick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
Processus
est une
instance
de
Escaping
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
confiner
AutonomousAgent
est un
patient
de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8922-8929
Interval temporel
est une
instance
de
Evening
interval temporel
est une
instance
de
Afternoon
interval temporel
est une
instance
de
jour
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
Processus
est une
instance
de
FlashingLight
processus
a pour
origine
objet
processus
interval temporel
and
processus
processus
est une
instance
de
lumi�re irradiante
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
lumi�re irradiante
temps
d'existence de
processus
rencontre
interval temporel
interval temporel
rencontre
temps
d'existence de
processus
interval temporel
interval temporel
est une
instance
de
lumi�re irradiante
interval temporel
a pour
origine
objet
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8629-8634
Interval temporel
est une
instance
de l'
heure
nombre entier non n�gatif
interval temporel
est une
instance
de l'
heure
nombre entier non n�gatif
(
nombre entier non n�gatif
+
nombre entier non n�gatif
) est
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8656-8661
Interval temporel
est une
instance
de la
minute
nombre entier non n�gatif
interval temporel
est une
instance
de la
minute
nombre entier non n�gatif
(
nombre entier non n�gatif
+
nombre entier non n�gatif
) est
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
Interval temporel
est une
instance
de le
moi
Avril
interval temporel
est une
instance
de le
moi
Mai
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
Interval temporel
est une
instance
de le
moi
Ao�t
interval temporel
est une
instance
de le
moi
Septembre
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
Interval temporel
est une
instance
de le
moi
Decembre
interval temporel
est une
instance
de le
moi
Janvier
interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
ann�e
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
Interval temporel
est une
instance
de le
moi
F�vrier
interval temporel
est une
instance
de le
moi
Mars
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
Interval temporel
est une
instance
de le
moi
Janvier
interval temporel
est une
instance
de le
moi
F�vrier
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
Interval temporel
est une
instance
de le
moi
Juillet
interval temporel
est une
instance
de le
moi
Ao�t
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
Interval temporel
est une
instance
de le
moi
Juin
interval temporel
est une
instance
de le
moi
Juillet
interval temporel
rencontre
interval temporel
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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