=>
(=>
(
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
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
e' um
atributo
de
MusicRecording
MusicRecording
e' uma
instancia
de
MusicRecording
songArtist
MusicRecording
and
Agente Cognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
Agente Cognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
Agente Cognitivo
RTIST
Agente Cognitivo
e'
igual
a
Agente Cognitivo
RTIST
record
MusicRecording
and
Musica
USIC
tempo
de existencia de
Musica
USIC comeca
antes
de
tempo
de existencia de
Musica
M
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12536-12546
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Fingerprint
Objeto
e' uma
instancia
de
Finger
Atributo
R
Objeto
Objeto
e' um
instrumento
para
Atributo
R
Objeto
e' uma
instancia
de
Finger
Atributo
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Atributo
R
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
Concave
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto auto-conectado
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
Convex
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Inside
em relacao a
Objeto auto-conectado
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17354-17367
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Atributo Subjectivo
Posicao Temporal
Processo
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Atributo
e' um
atributo
de
Objeto
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Objeto
tem um
atributo
de
Atributo
vale
durante
Posicao Temporal
(=>
(
and
(
attribute
?OBJ ?ATTR)
(
instance
?ATTR
FoodAttribute
))
(
instance
?OBJ
PreparedFood
))
Dining.kif 1130-1134
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
FoodAttribute
Objeto
e' uma
instancia
de
PreparedFood
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4989-4997
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Sphere
GeometricPoint
Medida de Comprimento
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto
geometricDistance
GeometricPoint
,
GeometricPoint
and
Medida de Comprimento
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17710-17719
Monochromatic
e' um
atributo
de
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Cor Primaria
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Atributo
e' um
atributo
de
Objeto
(=>
(
and
(
attribute
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
Brushless
))
(
instance
?OBJECT
ElectricalMotor
))
engineering.kif 716-720
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Brushless
Objeto
e' uma
instancia
de
ElectricalMotor
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
CommissionedOfficerRank
Processo
Objeto
Processo
e' uma
instancia
de
Administrar
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
MilitaryOrganization
Soldier
e' um
atributo
de
Objeto
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
BiologicalAttribute
))
(
instance
?ORG
OrganicObject
))
Merge.kif 18058-18062
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Atributo Biologico
Objeto
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
DeepSeaCoastalAndGreatLakesWaterTransportation
))
(
instance
?ORG
TransportationCompany
))
naics.kif 8114-8118
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
DeepSeaCoastalAndGreatLakesWaterTransportation
Objeto
e' uma
instancia
de
TransportationCompany
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