and
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29495-29507
Collectible
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
Agente Cognitivo
Formula
2
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
quer
Objeto
Agente Cognitivo
deseja
Formula
2
Formula
2
implica
Agente Cognitivo
possui
Objeto
Formula
e'
igual
a
Formula
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29446-29451
DeviceDamaged
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
o argumento
Formula
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29419-29423
DeviceNormal
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
DeviceAttribute
Objeto
e' uma
instancia
de
Aparelho
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
Functioning
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
truth
Formula
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
truth
Formula
and
False
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
ExperimentAttribute
Objeto
e' uma
instancia
de
Experimenting
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
e' um
atributo
de
Substancia
Substancia
e' uma
instancia
de
Comida
Substancia
Substancia
e' uma
instancia
de
Caffeine
Substancia
e' uma
peca
de
Substancia
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
Doenca ou Sindrome
e' um
atributo
de
Objeto
diseaseTreatment
Doenca ou Sindrome
and
Processo Terapeutico
Processo
e' uma
instancia
de
TherpeuticProcess
Processo
e' um
agente
de
Doenca ou Sindrome
OC
Objeto
e' um
patient
de
Processo
MedicalDoctor
e' um
atributo
de
Doenca ou Sindrome
OC
o argumento
Processo
e' uma
instancia
de
Processo Terapeutico
tem a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Male
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 13
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
Healthy
e' um
atributo
de
Mamifero
restingBreathingRate
Mamifero
and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 12 16 e'
maior
ou igual a
Numero Inteiro
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
Obligation
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo Psicologico Intencional
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
o argumento
Duracao Temporal
e'
maior
que
Duracao Temporal
tem a
forca
modal
de
Likely
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30108-30115
Inhabited
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Regiao
Organismo
Organismo
e' uma
instancia
de
Humano
Organismo
vive
em
Objeto
(=>
(
and
(
attribute
?INDIVIDUAL ?CH)
(
instance
?CH
Christian
))
(
member
?INDIVIDUAL
Christianity
))
People.kif 795-799
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Christian
Objeto
e'
membro
de
Christianity
(=>
(
and
(
attribute
?LISTING ?ATTRIBUTE)
(
instance
?ATTRIBUTE
ListingAttribute
))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 299-303
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
ListingAttribute
Objeto
e' uma
instancia
de
WebListing
(=>
(
and
(
attribute
?M
DemoRecording
)
(
instance
?M
Recording
))
(
hasPurpose
?M
(
exists
(?D ?G ?MUSIC)
(
and
(
instance
?D
Demonstrating
)
(
record
?M ?MUSIC)
(
patient
?D ?MUSIC)
(
destination
?D ?G)
(
instance
?G
GroupOfPeople
)))))
Music.kif 408-419
DemoRecording
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Recording
Objeto
tem por
fim
Entidade
Entidade
and
Objeto
USIC
Entidade
e' uma
instancia
de
Demonstrating
record
Objeto
and
Objeto
USIC
Objeto
USIC e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
(=>
(
and
(
attribute
?M
LiveRecording
)
(
instance
?M
Recording
))
(
exists
(?P)
(
and
(
instance
?P
Performance
)
(
record
?M ?P))))
Music.kif 378-385
LiveRecording
e' um
atributo
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Fisico
Fisico
e' uma
instancia
de
Performance
record
Objeto Representendo Conteudo Abstrato
and
Fisico
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
MashupRecording
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Recording
Objeto
1
Objeto
2,
Musica
and
Musica
musicInterpretation
Objeto
1 and
Musica
musicInterpretation
Objeto
2 and
Musica
Musica
e'
igual
a
Musica
Objeto
1 e' uma &parte de
Objeto
Objeto
2 e' uma &parte de
Objeto
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
RemixRecording
e' um
atributo
de
MusicRecording
MusicRecording
e' uma
instancia
de
MusicRecording
MusicRecording
Agente Cognitivo
MusicRecording
e'
igual
a
RemixFn
MusicRecording
and
Agente Cognitivo
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
StudioRecording
e' um
atributo
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Processo
Objeto
record
Objeto Representendo Conteudo Abstrato
and
Processo
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
RecordingStudio
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
PeaceState
e' um
atributo
de
Organizacao
Organizacao
e' uma
instancia
de
MilitaryOrganization
leaderPosition
Organizacao
and
Posicao
subordinatePosition
Organizacao
,
Posicao
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
WarState
e' um
atributo
de
Organizacao
Organizacao
e' uma
instancia
de
MilitaryOrganization
leaderPosition
Organizacao
and
Posicao
subordinatePosition
Organizacao
,
Posicao
and
President
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