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 8365-8367
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8362-8362
O argumento numero 1 de
meetsTemporally
e' uma
instancia
de
Intervalo Temporal
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8363-8363
O argumento numero 2 de
meetsTemporally
e' uma
instancia
de
Intervalo Temporal
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8359-8359
meetsTemporally
e' uma
instancia
de
Relacao Assimetrica
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8357-8357
meetsTemporally
e' uma
instancia
de
Predicado Binario
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8360-8360
meetsTemporally
e' uma
instancia
de
Relacao Intransitiva
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8358-8358
meetsTemporally
e' uma
instancia
de
Relacao Temporal
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8361-8361
meetsTemporally
e' uma
instancia
de
Relacao 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 9357-9366
Intervalo Temporal
e' uma
instancia
de
Domingo
Intervalo Temporal
e' uma
instancia
de
Segunda-feira
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
DrawingACheck
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
ProcessingACheck
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Processo
Time
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Processo
Time a
duracao
de
Intervalo Temporal
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
menos
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
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Lent
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Lent
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
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 9257-9264
Intervalo Temporal
e' uma
instancia
de o
mes
Dezembro
Intervalo Temporal
e' uma
instancia
de o
mes
Janeiro
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
Intervalo Temporal
e' uma
instancia
de
Advent
Intervalo Temporal
e' uma
instancia
de
ChristmasDay
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
Intervalo Temporal
e' uma
instancia
de
Advent
Intervalo Temporal
e' uma
instancia
de
ChristmasDay
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
Advent
Intervalo Temporal
e' uma
instancia
de
ChristmasDay
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
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
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Concussion
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
o argumento
Inconsciente
e' um
atributo
de
Entidade
vale
durante o
comeco
de
Intervalo Temporal
tem a
forca
modal
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
Programa de Computador
and
Duracao Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Fisico
e' uma
instancia
de
ComputerProcess
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8369-8373
Intervalo Temporal
encontra
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8381-8388
Intervalo Temporal
encontra
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
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
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18260-18266
Larval
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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 443-456
Processo
e' uma
instancia
de
Dodging
Processo
e' um
agente
de
AutonomousAgent
Processo
T e'
igual
a
tempo
de existencia de
Processo
Processo
tem por
fim
Entidade
Processo
T
encontra
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
engloba
Processo
T
Entidade
e' uma
instancia
de
Impactar
AutonomousAgent
e' um
patient
de
Entidade
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8639-8644
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
(
Inteiro positivo
+
Inteiro positivo
) e'
igual
a 1
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9335-9342
Intervalo Temporal
e' uma
instancia
de
Sexta-feira
Intervalo Temporal
e' uma
instancia
de
Sabado
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9283-9290
Intervalo Temporal
e' uma
instancia
de
Segunda-feira
Intervalo Temporal
e' uma
instancia
de
Terca-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9348-9355
Intervalo Temporal
e' uma
instancia
de
Sabado
Intervalo Temporal
e' uma
instancia
de
Domingo
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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 9357-9366
Intervalo Temporal
e' uma
instancia
de
Domingo
Intervalo Temporal
e' uma
instancia
de
Segunda-feira
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9322-9329
Intervalo Temporal
e' uma
instancia
de
Quinta-feira
Intervalo Temporal
e' uma
instancia
de
Sexta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9296-9303
Intervalo Temporal
e' uma
instancia
de
Terca-feira
Intervalo Temporal
e' uma
instancia
de
Quarta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9309-9316
Intervalo Temporal
e' uma
instancia
de
Quarta-feira
Intervalo Temporal
e' uma
instancia
de
Quinta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 12010-12017
Processo
e' uma
instancia
de
Discovering
Entidade
e' um
patient
de
Processo
Fisico
Fisico
e' uma
instancia
de
Perseguir
tempo
de existencia de
Fisico
encontra
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Downtick
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Processo
AutonomousAgent
and
Numero Real
Processo
e' uma
instancia
de
StockMarketTransaction
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
AutonomousAgent
encontra
AutonomousAgent
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
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 17308-17316
Processo
e' uma
instancia
de
Escaping
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Confinar
AutonomousAgent
e' um
patient
de
Processo
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8958-8965
Intervalo Temporal
e' uma
instancia
de
Evening
Intervalo Temporal
e' uma
instancia
de
Afternoon
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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 636-654
Processo
e' uma
instancia
de
FlashingLight
Processo
tem como
origem
Objeto
Processo
Intervalo Temporal
and
Processo
Processo
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' uma
instancia
de
Luz Irradiante
tempo
de existencia de
Processo
encontra
Intervalo Temporal
Intervalo Temporal
encontra
tempo
de existencia de
Processo
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
tem como
origem
Objeto
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8665-8670
Intervalo Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Intervalo Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
(
Numero Inteiro nao-negativo
+
Numero Inteiro nao-negativo
) e'
igual
a 1
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8692-8697
Intervalo Temporal
e' uma
instancia
de o
minuto
Numero Inteiro nao-negativo
Intervalo Temporal
e' uma
instancia
de o
minuto
Numero Inteiro nao-negativo
(
Numero Inteiro nao-negativo
+
Numero Inteiro nao-negativo
) e'
igual
a 1
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9144-9148
Intervalo Temporal
e' uma
instancia
de o
mes
Abril
Intervalo Temporal
e' uma
instancia
de o
mes
Maio
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9200-9204
Intervalo Temporal
e' uma
instancia
de o
mes
Agosto
Intervalo Temporal
e' uma
instancia
de o
mes
Setembro
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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 9257-9264
Intervalo Temporal
e' uma
instancia
de o
mes
Dezembro
Intervalo Temporal
e' uma
instancia
de o
mes
Janeiro
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9116-9120
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Intervalo Temporal
e' uma
instancia
de o
mes
Marco
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9092-9096
Intervalo Temporal
e' uma
instancia
de o
mes
Janeiro
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9186-9190
Intervalo Temporal
e' uma
instancia
de o
mes
Julho
Intervalo Temporal
e' uma
instancia
de o
mes
Agosto
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9172-9176
Intervalo Temporal
e' uma
instancia
de o
mes
June
Intervalo Temporal
e' uma
instancia
de o
mes
Julho
Intervalo Temporal
encontra
Intervalo Temporal
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