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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
PuntoTemporale
è un'
istanza
di
PuntoTemporale
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
Entit�Concreta
è un
membro
di
SellersItemsFn
AutonomousAgent
and
WebSite
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
is
uguale
a
WebListing
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
PuntoTemporale
is
uguale
a
InsiemeConcreto
(=>
(
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
Proposizione
è un'
istanza
di
ConstitutionFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
il
tempo
di esistenza di
Governo
è un'
istanza
di
PosizioneTemporale
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
Formula
contiene
s informazione
Proposizione
Governo
è
obbligato
a compiere il compito di 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
è un'
istanza
di
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
ComputerProcess
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
ComputerProcess
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
è un'
istanza
di
DeletingAnAccount
Entit�
è un'
istanza
di
Account
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectDetached
Processo
and
Entit�
objectDetached
Processo
and
Entit�
(=>
(
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
è un'
istanza
di
Dodging
Processo
è un
agente
di
AutonomousAgent
Processo
T is
uguale
a il
tempo
di esistenza di
Processo
Processo
ha
scopo
Entit�
Processo
T
incontra
s il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
Processo
T
Entit�
è un'
istanza
di
Impatto
AutonomousAgent
è un
paziente
di
Entit�
(=>
(
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
è un'
istanza
di
Deposition
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
è un'
istanza
di
Discovering
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
Processo
è un'
istanza
di
Apprendere
Processo
è un
sottoprocesso
di
Processo
Entit�
è
localizzato
in
Entit�
è un
paziente
di
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
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
è un'
istanza
di
Downtick
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Processo
AutonomousAgent
and
NumeroReale
Processo
è un'
istanza
di
StockMarketTransaction
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
AutonomousAgent
incontra
s
AutonomousAgent
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
DrawingACheck
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
ProcessingACheck
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
Processo
Time
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
Processo
Time
durata
di
IntervalloTemporale
è
NumeroReale
MonthDuration
(s
NumeroReale
è
meno
di6
(=>
(
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
è un'
istanza
di
Movimento
Processo
è un'
istanza
di
Tremor
Oggetto
è un'
istanza
di
Damper
Oggetto
è un
paziente
di
Processo
Oggetto
è una
parte
di
Oggetto
Processo
causa
s
Processo
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
EngineCycle
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
UnitOfVolume
maxCylinderVolume
Oggetto
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
IntervalloTemporale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
EngineCycle
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
UnitOfVolume
minCylinderVolume
Oggetto
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
IntervalloTemporale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
la
fine
di il
tempo
di esistenza di
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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
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
è un'
istanza
di
Flooding
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
l'affermazione
Oggetto
è un'
istanza
di
SubmergedLandArea
vales
durante
PuntoTemporale
ha il modello di forza di
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
è un'
istanza
di
Fogging
eventLocated
Processo
and
Regione
Regione
è un'
istanza
di
AreaGeografica
Oggetto
è un'
istanza
di
AtmosphericRegion
Oggetto
è
Above
a
Regione
Oggetto
è un'
istanza
di
Aerosal
locatedAtTime
Oggetto
, il
tempo
di esistenza di
Processo
and
Oggetto
visibilityInMeteorology
Regione
, il
tempo
di esistenza di
Processo
and
NumeroReale
Meter
(s
NumeroReale
è
meno
di1000.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
è un'
istanza
di
Man
attribute
AutonomousAgent
and
Mausaharati
Processo
è un'
istanza
di
Drumming
Processo
è un
agente
di
AutonomousAgent
Processo
AY è un'
istanza
di
Giorno
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
has luogo
durante
Processo
AY il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
Processo
ha
scopo
Entit�
IntervalloTemporale
UHUR and
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
IntervalloTemporale
UHUR è un'
istanza
di
Suhur
IntervalloTemporale
UHUR è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
IntervalloTemporale
UHUR il
tempo
di esistenza di
Entit�
has luogo
durante
Processo
AY il
tempo
di esistenza di
IntervalloTemporale
UHUR has luogo
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
è un'
istanza
di
AtmosphericHazing
eventLocated
Processo
and
Regione
Regione
è un'
istanza
di
AreaGeografica
Oggetto
è un'
istanza
di
AtmosphericRegion
Oggetto
è
Above
a
Regione
locatedAtTime
Oggetto
, il
tempo
di esistenza di
Processo
and
Oggetto
visibilityInMeteorology
Regione
, il
tempo
di esistenza di
Processo
and
NumeroReale
Kilometer
(s
NumeroReale
è
pi
ù grande di 2.0
NumeroReale
è
meno
di5.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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
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
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
IntervalloTemporale
is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
WebSite
è un
paziente
di
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
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
è un'
istanza
di
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
IntervalloTemporale
is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
Computer
è uno
strumento
per
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
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