BeginFn
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19565-19577
Processo
e' uma
instancia
de
ChemicalReduction
Entidade
e' um
patient
de
Processo
electronNumber
Entidade
and
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
Numero Real
e'
maior
que
Numero Real
electronNumber
Entidade
and
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
Processo
e' uma
instancia
de
Reversing
Entidade
e' um
patient
de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
fim
de
Intervalo Temporal
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Numero Inteiro
e'
maior
que
Numero Inteiro
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12804-12810
Fisico
e' um
patient
de
Processo
Fisico
existe
durante
o
fim
de
tempo
de existencia de
Processo
Fisico
nao existe %n
durante
o
comeco
de
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Criacao
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8025-8030
Objeto
e' um
recurso
para
Processo
a
medida
de
Objeto
e'
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Dia
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
Medida de Divisa
and
Intervalo Temporal
o
fim
de
Dia
comeca
antes
de o
comeco
de
Intervalo Temporal
Transacao Financeira
e' uma
instancia
de
Prepayment
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
O
fim
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
O
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
O
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
ShutdownBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
StartupBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8212-8221
Ponto no tempo
e'
entre
ou durante o
comeco
de
tempo
de existencia de
Fisico
e o
fim
de
tempo
de existencia de
Fisico
Fisico
existe
durante
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
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