WhenFn
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
listingSeller
WebListing
and
AutonomousAgent
WebListing
e'
membro
de
Colecao
Fisico
Fisico
Fisico
e' uma
instancia
de
WebListing
Fisico
e'
membro
de
SellersItemsFn
AutonomousAgent
and
WebSite
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e'
igual
a
WebListing
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
Ponto no tempo
e'
igual
a
Colecao
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
Proposicao
e' uma
instancia
de
ConstitutionFn
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Governo
e'
igual
a o
governo
de
Area Geopolitica
tempo
de existencia de
Governo
e' uma
instancia
de
Posicao Temporal
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
Formula
contem
informacao
Proposicao
Governo
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processo
e' uma
instancia
de
DeletingAnAccount
Entidade
e' uma
instancia
de
Account
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processo
e' uma
instancia
de
Descolar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
objectDetached
Processo
and
Entidade
objectDetached
Processo
and
Entidade
(=>
(
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
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
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processo
e' uma
instancia
de
Deposition
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'
menos
que
Numero Real
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
Processo
e' uma
instancia
de
Discovering
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
Processo
e' uma
instancia
de
Aprender
Processo
e' um
sub
-processo de
Processo
Entidade
e'
situado
em
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
Transacao Financeira
e' uma
instancia
de
Deposit
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
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)
(=>
(
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
?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
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processo
e' uma
instancia
de
Movimento
Processo
e' uma
instancia
de
Tremor
Objeto
e' uma
instancia
de
Damper
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
causa
Processo
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
maxCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
minCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
comeco
de
tempo
de existencia de
Processo
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
sub-divisao geopolitica sub-divisao geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Fisico
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Fisico
vale
durante o
fim
de
tempo
de existencia de
Processo
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
Processo
e' uma
instancia
de
Flooding
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
tempo
de existencia de
Processo
o argumento
Objeto
e' uma
instancia
de
SubmergedLandArea
vale
durante
Ponto no tempo
tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
Processo
e' uma
instancia
de
Fogging
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
Objeto
e' uma
instancia
de
Aerosal
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 1000.0
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
AY
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
Processo
e' uma
instancia
de
AtmosphericHazing
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Kilometer
(s)
Numero Real
e'
maior
que 2.0
Numero Real
e'
menos
que 5.0
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
MoodStabilizer
Processo
e' uma
instancia
de
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
Processo
S e' uma
instancia
de
Estado Emocional
Processo
2 e' uma
instancia
de
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
tempo
de existencia de
Processo
2 acontence
antes
de
tempo
de existencia de
Transferencia
o argumento
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
Processo
2 tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objeto
e' uma
instancia
de
Lever
Processo
e' uma
instancia
de
Pushing
Fisico
e' uma
instancia
de
Movimento
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Processo
termina
em
Objeto
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
situado
em
Processo
1
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
2
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
3
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
4
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
a
distancia
entre
Processo
1 e
Processo
2 e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Processo
3 e
Processo
4 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
Processo
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
WebSite
e' um
patient
de
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Processo
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
Computer
e' um
instrumento
para
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
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