attribute
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1502-1504
attribute
Oggetto
and
Taoist
Oggetto
è un
membro
di
Taoism
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1517-1519
attribute
Oggetto
and
Zoroastrian
Oggetto
è un
membro
di
Zoroastrianism
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 751-762
attribute
Oggetto
and
PolyphonicMusic
Processo
Processo
Oggetto
è un'
istanza
di
MakingMusic
Processo
è un'
istanza
di
MakingMusic
Processo
è un'
istanza
di
MakingMusic
Processo
è un
sottoprocesso
di
Oggetto
Processo
è un
sottoprocesso
di
Oggetto
Processo
is
uguale
a
Processo
Processo
occore
s nello stesso tempo di
Oggetto
Processo
occore
s nello stesso tempo di
Oggetto
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1400-1404
attribute
Oggetto
and
Queen
attribute
Oggetto
and
QueenRegnant
attribute
Oggetto
and
QueenConsort
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
attribute
Oggetto
and
OpenSea
Entit�Concreta
NumeroReale
Oggetto
è un'
istanza
di
SuperficieAcquaticaSalata
Oggetto
è un'
istanza
di
LandlockedWater
la
distanza
tra
Entit�Concreta
e
Oggetto
è
NumeroReale
NauticalMile
(s
NumeroReale
è
pi
ù grande di 5.0
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
attribute
Entit�
and
Barefoot
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Shoe
wears
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
attribute
Entit�
and
Naked
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Vestito
wears
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
attribute
Entit�
and
Alone
vales
durante
IntervalloTemporale
Entit�
2
Processo
Entit�
is
uguale
a
Entit�
2
Entit�
2 è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
InterazioneSociale
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
involvedInEvent
Processo
and
Entit�
involvedInEvent
Processo
and
Entit�
2
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30271-30279
attribute
AutonomousAgent
and
Mute
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Speaking
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
attribute
Entit�
and
LegalAgent
vales
durante
PosizioneTemporale
Entit�
è
capace
di fare
AzioneLegale
nel ruolo
agent
Entit�
è
capace
di fare
AzioneLegale
nel ruolo
patient
vales
durante
PosizioneTemporale
(=>
(
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 1363-1370
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 1357-1361
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