=>
(=>
(
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 20759-20766
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 18836-18842
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 14078-14088
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 14015-14020
agreementPeriod
Agreement
and
IntervalloTemporale
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
TimePeriodFn
PuntoTemporale
and
IntervalloTemporale
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
albumCoverImage
Album
and
Image
Oggetto
è un'
istanza
di
AlbumCopiesFn
Album
and
DataStorageDevice
contains
OggettoIntegro
and
Oggetto
l'affermazione
Image
è una
parte
di il
davanti
di
OggettoIntegro
ha il modello di forza di
Likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6230-6243
allergic
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Sostanza
,
OggettoCorpuscolare
and
NumeroReale
UnitOfMass
(s
Sostanza
I è un'
istanza
di
Sostanza
la
misura
Sostanza
I è
NumeroReale
2
UnitOfMass
(s
Sostanza
I è una
parte
di
OggettoCorpuscolare
Lista
NumeroReale
2
UnitOfMass
(s è un
Lista
Lista
is
uguale
a
AmountsFn
Sostanza
,
OggettoCorpuscolare
and
UnitOfMass
NumeroReale
is
uguale
a
ListSumFn
Lista
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10684-10695
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Extension
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Flexion
nel ruolo
instrument
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Flexion
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Extension
nel ruolo
instrument
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31383-31390
applicableRelation
Oggetto
and
Relazione
Oggetto
è un'
istanza
di
Oggetto
C il numero 1 argomenti di
Relazione
è un
istanza
di
Classe
Oggetto
C is
uguale
a
Classe
Oggetto
C è una
sottoclasse
di
Classe
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17947-17958
approximateDiameter
OggettoIntegro
and
NumeroReale
NumeroReale
M(s
sphereRadius
Oggetto
and
NumeroReale
+ 2.0
NumeroReale
M(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
M è un'
istanza
di
UnitOfLength
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
NumeroReale
is
uguale
a
NumeroReale
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un'
istanza
di
FormOfGovernment
governmentType
AreaGeopolitica
and
FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
attribute
Oggetto
and
Oggetto
TTR
Oggetto
TTR è un'
istanza
di
AlbumAttribute
Oggetto
è un'
istanza
di
Album
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