meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9094-9098
IntervalloTemporale
è un'
istanza
di il
mese
Marzo
IntervalloTemporale
è un'
istanza
di il
mese
Aprile
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
May
?YEAR))
(
instance
?MONTH2
(
MonthFn
June
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9122-9126
IntervalloTemporale
è un'
istanza
di il
mese
Maggio
IntervalloTemporale
è un'
istanza
di il
mese
Giugno
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
November
?YEAR))
(
instance
?MONTH2
(
MonthFn
December
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9207-9211
IntervalloTemporale
è un'
istanza
di il
mese
Novembre
IntervalloTemporale
è un'
istanza
di il
mese
Dicembre
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
October
?YEAR))
(
instance
?MONTH2
(
MonthFn
November
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9193-9197
IntervalloTemporale
è un'
istanza
di il
mese
Ottobre
IntervalloTemporale
è un'
istanza
di il
mese
Novembre
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
September
?YEAR))
(
instance
?MONTH2
(
MonthFn
October
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9179-9183
IntervalloTemporale
è un'
istanza
di il
mese
Settembre
IntervalloTemporale
è un'
istanza
di il
mese
Ottobre
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
è un'
istanza
di
OpeningAnAccount
eventLocated
Processo
and
FinancialOrganization
FinancialOrganization
è un'
istanza
di
FinancialOrganization
Processo
è un
agente
di
AgenteCognitivo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
incontra
s
FinancialAccount
Period
FinancialAccount
è un'
istanza
di
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
and
(
instance
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1952-1959
Entit�Concreta
è un'
istanza
di
PlacingAnOrder
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
Entit�Concreta
IntervalloTemporale
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8683-8688
IntervalloTemporale
è un'
istanza
di il
secondo
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
secondo
NumeroInteroPositivo
(
NumeroInteroPositivo
+
NumeroInteroPositivo
is
uguale
a 1
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
TimePeriod
durata
di
IntervalloTemporale
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
pi
ù grande di 5.0
Entit�
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Entit�
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
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
è un'
istanza
di
Uptick
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
è
meno
di
NumeroReale
(=>
(
and
(
instance
?VP
ValetParking
)
(
patient
?VP ?VEHICLE)
(
instance
?A
Arriving
)
(
patient
?A ?VEHICLE))
(
meetsTemporally
(
EndFn
(
WhenFn
?A))
(
BeginFn
(
WhenFn
?VP))))
TransportDetail.kif 174-182
Processo
è un'
istanza
di
ValetParking
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Arriving
Entit�
è un
paziente
di
Processo
la
fine
di il
tempo
di esistenza di
Processo
incontra
s l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
(
NumeroIntero
+
NumeroIntero
is
uguale
a 1
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
(
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
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
La
fine
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9395-9407
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9423-9433
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
non
finisce
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
non
inizia
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
BoneFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Separating
)
(
patient
?S ?B)
(
instance
?B
Bone
)
(
part
?B ?H)
(
meetsTemporally
(
WhenFn
?S) ?T))))
Medicine.kif 6128-6137
attribute
Oggetto
and
BoneFracture
vales
durante
IntervalloTemporale
Processo
Oggetto
Processo
è un'
istanza
di
Separare
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Osso
Oggetto
è una
parte
di
Oggetto
il
tempo
di esistenza di
Processo
incontra
s
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
BurnInjury
))
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
located
?C ?H)
(
meetsTemporally
(
WhenFn
?C) ?T))))
Medicine.kif 6036-6043
attribute
Oggetto
and
BurnInjury
vales
durante
IntervalloTemporale
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Combustione
Entit�Concreta
è
localizzato
in
Oggetto
il
tempo
di esistenza di
Entit�Concreta
incontra
s
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16411-16427
attribute
Entit�
and
Dizzy
vales
durante
PosizioneTemporale
Entit�
crede
s
PosizioneTemporale
2
PosizioneTemporale
2 has luogo
durante
PosizioneTemporale
attribute
Entit�
and
Standing
vales
durante
PosizioneTemporale
2
Entit�
Entit�
è un'
istanza
di
Falling
Entit�
esperisce
s
Entit�
PosizioneTemporale
2
incontra
s il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19202-19207
IntervalloTemporale
è un'
istanza
di
FallSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
SummerSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19209-19214
IntervalloTemporale
è un'
istanza
di
FallSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
WinterSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
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