WhenFn
(=>
(
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
valore
di
Check
è
MisuraMonetaria
checkAccount
Check
and
FinancialAccount
Processo
è un'
istanza
di
ProcessingACheck
Check
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Withdrawal
Check
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
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
valore
di
Oggetto
è
MisuraMonetaria
Processo
è un'
istanza
di
ProcessingACheck
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Deposit
Oggetto
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
(=>
(
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
observesHoliday
?A ?T1)
(
equal
?T2
(
WhenFn
?A)))
(
during
?T1 ?T2))
Media.kif 258-262
observesHoliday
AgenteCognitivo
and
Holiday
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
AgenteCognitivo
Holiday
has luogo
durante
IntervalloTemporale
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
è
localizzato
in
AreaGeopolitica
2
AreaGeopolitica
2 è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
il
et
à di
AgenteCognitivo
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Processo
attribute
Agreement
and
Legal
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12826-12832
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
esistes
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
non esiste
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Creazione
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
Processo
impedisce
l'occorrenza di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
eventLocated
Processo
and
Oggetto
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
non vale
durante
IntervalloTemporale
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8047-8052
Oggetto
è una
risorsa
per
Processo
la
misura
Oggetto
è
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
startupTimeDelay
ProgrammaDiComputer
and
Durata
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
Entit�Concreta
è un'
istanza
di
ComputerProcess
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2724-2744
visibilityInMeteorology
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
IntervalloTemporale
è un'
istanza
di
DayTime
Processo
è un'
istanza
di
Looking
Oggetto
è un'
istanza
di
Oggetto
color
Oggetto
and
Black
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
è
Horizontal
a
Oggetto
eventLocated
Processo
and
Regione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Oggetto
NumeroReale
la
distanza
tra
AutonomousAgent
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2746-2767
visibilityInMeteorology
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
IntervalloTemporale
è un'
istanza
di
NightTime
Processo
è un'
istanza
di
Looking
Oggetto
è un'
istanza
di
Regione
attribute
Oggetto
and
Illuminated
la
misura
Oggetto
è 1000.0
Candela
(s
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
è
Horizontal
a
Oggetto
eventLocated
Processo
and
Regione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Oggetto
NumeroReale
la
distanza
tra
AutonomousAgent
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
equal
(
WhenFn
?PHYS1)
(
WhenFn
?PHYS2))
(
cooccur
?PHYS1 ?PHYS2))
Merge.kif 8424-8426
Il
tempo
di esistenza di
Entit�Concreta
is
uguale
a il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
occore
s nello stesso tempo di
Entit�Concreta
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14369-14374
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
stored
Entit�
and
Entit�
l'affermazione
Entit�
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
IntervalloTemporale
(=>
(
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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
ShutdownBlock
hasDependency
ProgrammaDiComputer
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
StartupBlock
hasDependency
ProgrammaDiComputer
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7991-7994
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
esistes
durante
PosizioneTemporale
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8234-8243
PuntoTemporale
è
tra
o in l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e la
fine
di il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
esistes
durante
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
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