WhenFn
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
Processo
e' uma
instancia
de
MeasuringBreathing
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
duracao
de
Intervalo Temporal
e'
MinuteDuration
Objeto
e' um
patient
de
Processo
Entidade
AutonomousAgent
sabe
breathingRate
Objeto
,
Intervalo Temporal
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
Processo
e' uma
instancia
de
MuscleRelaxing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
Processo
e' uma
instancia
de
MuscularContraction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
e' uma
instancia
de
MusicalTone
soundFrequency
MusicalTone
and
Numero Real
Hertz
(s)
loudness
MusicalTone
and
Numero Real
Decibel
(s)
MusicalTone
e'
situado
em o lugar onde
Humano
estava em o
comeco
de
tempo
de existencia de
MusicalTone
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que 250 8000 e'
maior
que
Numero Real
Humano
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Listening
Processo
e' um
agente
de
Humano
hearingAcuity
Humano
,
Numero Real
Decibel
(s) and
Numero Real
Decibel
(s)
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
Processo
e' uma
instancia
de
Oxidation
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'
menos
que
Numero Real
electronNumber
Entidade
and
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
?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
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
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
?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
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
Fisico
e' uma
instancia
de
OrganismRemains
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
Fisico
Fisico
e' uma
instancia
de
Organismo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Fisico
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
(=>
(
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
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Entidade
e' uma
instancia
de
Objeto auto-conectado
Processo
e' uma
instancia
de
Compressing
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
Processo
e' uma
instancia
de
SpeakingAtAFasterRate
Processo
e' uma
instancia
de
SpeakingAtASlowerRate
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
contem
informacao
Proposicao
Processo
contem
informacao
Proposicao
a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s) a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
(=>
(
and
(
instance
?SS
SpeakingAShortUtterance
)
(
instance
?SL
SpeakingALongUtterance
)
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?SS)
(
MeasureFn
?D1 ?U))
(
duration
(
WhenFn
?SL)
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
emotion.kif 2104-2113
Fisico
e' uma
instancia
de
SpeakingAShortUtterance
Fisico
e' uma
instancia
de
SpeakingALongUtterance
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
a
duracao
de
tempo
de existencia de
Fisico
e'
Numero Real
Unidade de Medida
(s) a
duracao
de
tempo
de existencia de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processo
e' uma
instancia
de
Sublimation
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
Area Aquatica
e' uma
instancia
de
SurfZone
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
Area Aquatica
and
Numero Real
FootLength
(s)
Numero Real
e'
maior
que 8.0
RedFlagSwimmingCondition
e' um
atributo
de
Area Aquatica
(=>
(
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
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
e' uma
instancia
de
SoftwareUnInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
Intervalo Temporal
e'
igual
a
tempo
de existencia de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
e'
situado
em
Objeto
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
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
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
sub
-colecao de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
AccessingWebPage
Objeto
e' uma
instancia
de
WebPage
Processo
e'
membro
de
Colecao
Processo
termina
em
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e'
membro
de
Colecao
Intervalo Temporal
Entidade
_IN_INTERVAL and
Entidade
_IN_INTERVAL
SCRFn
Colecao
and
Intervalo Temporal
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL + o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
Fisico
e' uma
instancia
de
Wind
Fisico
e'
situado
em
Objeto
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Fisico
surfaceWindSpeed
Objeto
and
Numero Real
MilesPerHour
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que 20.0
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
Processo
e' uma
instancia
de
Andar
Processo
e' uma
instancia
de
Running
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
medida
de
AutonomousAgent
e'
Numero Real
por
Entidade
vale
durante
tempo
de existencia de
Processo
a
medida
de
AutonomousAgent
e'
Numero Real
por
Entidade
vale
durante
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Transacao Financeira
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
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