meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9116-9120
Intervalo Temporal
e' uma
instancia
de o
mes
Marco
Intervalo Temporal
e' uma
instancia
de o
mes
Abril
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
May
?YEAR))
(
instance
?MONTH2
(
MonthFn
June
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9144-9148
Intervalo Temporal
e' uma
instancia
de o
mes
Maio
Intervalo Temporal
e' uma
instancia
de o
mes
June
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
November
?YEAR))
(
instance
?MONTH2
(
MonthFn
December
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9229-9233
Intervalo Temporal
e' uma
instancia
de o
mes
Novembro
Intervalo Temporal
e' uma
instancia
de o
mes
Dezembro
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
October
?YEAR))
(
instance
?MONTH2
(
MonthFn
November
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9215-9219
Intervalo Temporal
e' uma
instancia
de o
mes
Outubro
Intervalo Temporal
e' uma
instancia
de o
mes
Novembro
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?MONTH1
(
MonthFn
September
?YEAR))
(
instance
?MONTH2
(
MonthFn
October
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9201-9205
Intervalo Temporal
e' uma
instancia
de o
mes
Setembro
Intervalo Temporal
e' uma
instancia
de o
mes
Outubro
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
Processo
e' uma
instancia
de
OpeningAnAccount
eventLocated
Processo
and
FinancialOrganization
FinancialOrganization
e' uma
instancia
de
FinancialOrganization
Processo
e' um
agente
de
Agente Cognitivo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
encontra
FinancialAccount
Period
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
and
(
instance
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1952-1959
Fisico
e' uma
instancia
de
PlacingAnOrder
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Fisico
Intervalo Temporal
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8705-8710
Intervalo Temporal
e' uma
instancia
de o
segundo
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
segundo
Inteiro positivo
(
Inteiro positivo
+
Inteiro positivo
) e'
igual
a 1
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?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)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
Processo
e' uma
instancia
de
Uptick
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'
menos
que
Numero Real
(=>
(
and
(
instance
?VP
ValetParking
)
(
patient
?VP ?VEHICLE)
(
instance
?A
Arriving
)
(
patient
?A ?VEHICLE))
(
meetsTemporally
(
EndFn
(
WhenFn
?A))
(
BeginFn
(
WhenFn
?VP))))
TransportDetail.kif 174-182
Processo
e' uma
instancia
de
ValetParking
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Arriving
Entidade
e' um
patient
de
Processo
o
fim
de
tempo
de existencia de
Processo
encontra
o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8770-8775
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 1
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
O
valor
de
Check
e'
Medida de Divisa
checkAccount
Check
and
FinancialAccount
Processo
e' uma
instancia
de
ProcessingACheck
Check
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Withdrawal
Check
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
FinancialAccount
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
O
valor
de
Objeto
e'
Medida de Divisa
Processo
e' uma
instancia
de
ProcessingACheck
Objeto
e' um
patient
de
Processo
Processo
termina
em
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Deposit
Objeto
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8361-8365
O
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9417-9429
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9445-9455
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
nao
termina
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9457-9467
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
nao
comeca
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
BoneFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Separating
)
(
patient
?S ?B)
(
instance
?B
Bone
)
(
part
?B ?H)
(
meetsTemporally
(
WhenFn
?S) ?T))))
Medicine.kif 6128-6137
BoneFracture
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Processo
Objeto
Processo
e' uma
instancia
de
Separar
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Osso
Objeto
e' uma &parte de
Objeto
tempo
de existencia de
Processo
encontra
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
BurnInjury
))
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
located
?C ?H)
(
meetsTemporally
(
WhenFn
?C) ?T))))
Medicine.kif 6036-6043
BurnInjury
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Fisico
Fisico
e' uma
instancia
de
Combustao
Fisico
e'
situado
em
Objeto
tempo
de existencia de
Fisico
encontra
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16410-16426
Dizzy
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
acredita
que
Posicao Temporal
2
Posicao Temporal
2 acontece
durante
Posicao Temporal
Standing
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
2
Entidade
Entidade
e' uma
instancia
de
Falling
Entidade
experimenta
Entidade
Posicao Temporal
2
encontra
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19201-19206
Intervalo Temporal
e' uma
instancia
de
FallSeason
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
SummerSeason
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19208-19213
Intervalo Temporal
e' uma
instancia
de
FallSeason
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
WinterSeason
Intervalo Temporal
encontra
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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