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
Objeto
e' uma
instancia
de
AlbumCopiesFn
Album
and
DataStorageDevice
Objeto auto-conectado
contem
Objeto
o argumento
Image
e' uma &parte de
afrente
de
Objeto auto-conectado
tem a
forca
modal
de
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 6231-6244
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
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
Substancia
,
Objeto Corpuscular
and
Numero Real
UnitOfMass
(s)
Substancia
I e' uma
instancia
de
Substancia
a
medida
de
Substancia
I e'
Numero Real
2
UnitOfMass
(s)
Substancia
I e' uma &parte de
Objeto Corpuscular
Lista
Numero Real
2
UnitOfMass
(s) e' um
membro
de
Lista
Lista
e'
igual
a
AmountsFn
Substancia
,
Objeto Corpuscular
and
UnitOfMass
Numero Real
e'
igual
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
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
antagonistMuscles
Musculo
and
Musculo
Processo
e' uma
instancia
de
Extension
Musculo
C e' um
instrumento
para
Processo
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Mamifero
Musculo
C e'
capaz
de fazer
Flexion
no role
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
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Flexion
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Mamifero
Musculo
C e'
capaz
de fazer
Extension
no role
instrument
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
applicableRelation
Objeto
and
Relacao
Objeto
e' uma
instancia
de
Objeto
C o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
Objeto
C e'
igual
a
Classe
Objeto
C e' uma
sub
-classe de
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 17948-17959
approximateDiameter
Objeto auto-conectado
and
Numero Real
Numero Real
M(s)
sphereRadius
Objeto
and
Numero Real
+ 2.0
Numero Real
M(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
M e' uma
instancia
de
UnitOfLength
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Numero Real
e'
igual
a
Numero Real
(=>
(
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
igual
a
Numero Real
+
Numero Real
arableLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
ArableLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(s)
(=>
(
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