and
(=>
(
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
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
attribute
AgenteCognitivo
and
AppraisalAsJustTreatment
AgenteCognitivo
JT è un'
istanza
di
AppraisalProcess
AgenteCognitivo
JT è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
JT include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
vuole
s
Processo
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
attribute
AgenteCognitivo
and
AppraisalAsUnjustTreatment
AgenteCognitivo
UJ è un'
istanza
di
AppraisalProcess
AgenteCognitivo
UJ è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
UJ include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
non
vuole
Processo
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
attribute
AutonomousAgent
and
Founder
AutonomousAgent
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Founding
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
IntervalloTemporale
F
IntervalloTemporale
F è un'
istanza
di
TwoFactorLoggingIn
IntervalloTemporale
F è un
agente
di
AutonomousAgent
accountUsed
IntervalloTemporale
F and
UserAccount
il
tempo
di esistenza di
IntervalloTemporale
F accades
prima
di
IntervalloTemporale
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AccountAttribute
Oggetto
è un'
istanza
di
UserAccount
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
attribute
AutonomousAgent
and
VoiceActor
Processo
è un'
istanza
di
DramaticActing
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LinguisticCommunication
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
Processo
AutonomousAgent
Processo
è un'
istanza
di
Vista
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
AutonomousAgent
Processo
è un'
istanza
di
Udito
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
attribute
Oggetto
and
MemberFn
Organizzazione
Oggetto
è un'
istanza
di
AutonomousAgent
Organizzazione
è un'
istanza
di
Organizzazione
Oggetto
è un
membro
di
Organizzazione
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
attribute
AutonomousAgent
and
CommunistState
AutonomousAgent
è un'
istanza
di
Nazione
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
attribute
Oggetto
and
FlatTerrain
SuperficieTerrestre
è una
parte
di
Oggetto
slopeGradient
SuperficieTerrestre
and
NumeroRealeNonNegativo
0.005 è
pi
ù grande di
NumeroRealeNonNegativo
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
attribute
AutonomousAgent
and
HighIncomeCountry
AutonomousAgent
è un
membro
di
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
attribute
Oggetto
and
LowTerrain
SuperficieTerrestre
è una
parte
di
Oggetto
slopeGradient
SuperficieTerrestre
and
NumeroRealeNonNegativo
0.03 è
pi
ù grande di
NumeroRealeNonNegativo
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1364-1371
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
ProfessionalAthlete
Competizione
Competizione
è un'
istanza
di
Sport
contestParticipant
Competizione
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1358-1362
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
ProfessionalAthlete
AutonomousAgent
ha &n
la
capacità di fare
Sport
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