attribute
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1502-1504
Taoist
e' um
atributo
de
Objeto
Objeto
e'
membro
de
Taoism
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1517-1519
Zoroastrian
e' um
atributo
de
Objeto
Objeto
e'
membro
de
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
PolyphonicMusic
e' um
atributo
de
Objeto
Processo
Processo
Objeto
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' um
sub
-processo de
Objeto
Processo
e' um
sub
-processo de
Objeto
Processo
e'
igual
a
Processo
Processo
acontece
ao mesmo tempo que
Objeto
Processo
acontece
ao mesmo tempo que
Objeto
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1400-1404
Queen
e' um
atributo
de
Objeto
QueenRegnant
e' um
atributo
de
Objeto
QueenConsort
e' um
atributo
de
Objeto
(<=>
(
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
OpenSea
e' um
atributo
de
Objeto
Fisico
Numero Real
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma
instancia
de
LandlockedWater
a
distancia
entre
Fisico
e
Objeto
e'
Numero Real
NauticalMile
(s)
Numero Real
e'
maior
que 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
Barefoot
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Shoe
Entidade
usa
Entidade
vale
durante
Posicao Temporal
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
Naked
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
Entidade
usa
Entidade
vale
durante
Posicao Temporal
(<=>
(
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
Alone
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
2
Processo
Entidade
e'
igual
a
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Interacao Social
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
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
Mute
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Speaking
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
FormOfGovernment
e' um
atributo
de o
governo
de
Area Geopolitica
FormOfGovernment
e' uma
instancia
de
FormOfGovernment
governmentType
Area Geopolitica
and
FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
AlbumAttribute
Objeto
e' uma
instancia
de
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
AppraisalAsJustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
JT e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
JT e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
JT inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
quer
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
AppraisalAsUnjustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
UJ e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
UJ e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
UJ inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
nao
quer
%n
Processo
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
Founder
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Founding
Processo
e' um
agente
de
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
TwoFactorAuthentication
e' um
atributo
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
Intervalo Temporal
F
Intervalo Temporal
F e' uma
instancia
de
TwoFactorLoggingIn
Intervalo Temporal
F e' um
agente
de
AutonomousAgent
accountUsed
Intervalo Temporal
F and
UserAccount
tempo
de existencia de
Intervalo Temporal
F acontence
antes
de
Intervalo Temporal
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
AccountAttribute
Objeto
e' uma
instancia
de
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
VoiceActor
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Visao
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Ouvir
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
MemberFn
Organizacao
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
AutonomousAgent
Organizacao
e' uma
instancia
de
Organizacao
Objeto
e'
membro
de
Organizacao
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
CommunistState
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Nacao
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
FlatTerrain
e' um
atributo
de
Objeto
Area terrestre
e' uma &parte de
Objeto
slopeGradient
Area terrestre
and
Numero Real nao-negativo
0.005 e'
maior
que
Numero Real nao-negativo
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
membro
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
LowTerrain
e' um
atributo
de
Objeto
Area terrestre
e' uma &parte de
Objeto
slopeGradient
Area terrestre
and
Numero Real nao-negativo
0.03 e'
maior
que
Numero Real nao-negativo
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
ProfessionalAthlete
Contest
Contest
e' uma
instancia
de
Esporte
contestParticipant
Contest
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
ProfessionalAthlete
AutonomousAgent
tem a
capacidade
de fazer
Esporte
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
