and
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768
PostalPlace
è
localizzato
in
Citt�
PostalPlace
è un'
istanza
di
PostalPlace
Citt�
è un'
istanza
di
Citt�
postCity
PostalPlace
and
Citt�
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681
PostalPlace
è
localizzato
in
Neighborhood
PostalPlace
è un'
istanza
di
PostalPlace
Neighborhood
è un'
istanza
di
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752
PostalPlace
è
localizzato
in
StatoOProvincia
PostalPlace
è un'
istanza
di
PostalPlace
StatoOProvincia
è un'
istanza
di
StatoOProvincia
postDistrict
PostalPlace
and
StatoOProvincia
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 24713-24720
PostalPlace
è
localizzato
in
AreaGeopolitica
PostalPlace
è un'
istanza
di
PostalPlace
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
AreaGeopolitica
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
IntervalloTemporale
Loan
è un'
istanza
di
Loan
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
loanInterest
Loan
and
Interest
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3034-3042
FinancialInstrument
FinancialInstrument
Price and
MisuraMonetaria
Agreement
è un'
istanza
di
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
MisuraMonetaria
FinancialInstrument
Price is
uguale
a
MisuraMonetaria
atTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17254-17262
Entit�
è un'
istanza
di
Umano
Entit�
Entit�
non
impiega
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
Unemployed
vales
durante
PosizioneTemporale
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 23252-23258
RuoloSemantico
Processo
and
Oggetto
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Processo
è un'
istanza
di
Processo
Oggetto
è un'
istanza
di
Oggetto
playsRoleInEvent
Oggetto
,
RuoloSemantico
and
Processo
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3165-3169
abbreviatedDisplayTitle
Stringa
,
Entit�
-TYPE and
Linguaggio
Entit�
è un'
istanza
di
Entit�
-TYPE
abbreviation
Stringa
and
Entit�
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
AgenteCognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
AgenteCognitivo
and
FinancialOrganization
(=>
(
and
(
acronym
?STRING ?THING)
(
inString
?CHAR ?STRING))
(
instance
?CHAR
AlphabeticCharacter
))
Media.kif 3041-3045
acronym
Stringa
and
Entit�
inString
Carattere
and
Stringa
Carattere
è un'
istanza
di
AlphabeticCharacter
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
actedIn
Umano
and
ContentBearingPhysical
Processo
è un'
istanza
di
DramaticActing
Umano
è un
paziente
di
Processo
ContentBearingPhysical
è un
risultato
di
Processo
attribute
Umano
and
Actor
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
OperaD'Arte
attribute
AutonomousAgent
and
Artist
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
Oggetto
Entit�Concreta
è un
paziente
di
Processo
valore
di
Entit�Concreta
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un
sottoprocesso
di
Processo
ScambioFinanziario
è un'
istanza
di
Payment
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
AutonomousAgent
ScambioFinanziario
fine
s in
Oggetto
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 14079-14089
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
AttributoDeontico
is
uguale
a
Obligation
AttributoDeontico
is
uguale
a
Promise
l'affermazione
Entit�
Entit�
esprime
il contenuto di
Proposizione
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Likely
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
obbliga
AgenteCognitivo
a compiere il compito di tipo
Formula
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo
Formula
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
permette
a
AgenteCognitivo
di compiere il compito di tipo
Formula
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
ha il
diritto
di compiere
Formula
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
PuntoTemporale
currentAccountBalance
FinancialAccount
,
PuntoTemporale
and
MisuraMonetaria
originalBalance
FinancialAccount
and
MisuraMonetaria
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Formula
vales
durante
PosizioneTemporale
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
IntervalloTemporale
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
TimePeriodFn
PuntoTemporale
and
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