Likely
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
HipHopMusic
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
record
Objeto
and
Entidade
Entidade
e' uma
instancia
de
Speaking
Entidade
e' um
sub
-processo de
Entidade
tem a
forca
modal
de
Likely
(=>
(
attribute
?MR
IndieMusic
)
(
modalAttribute
(
not
(
exists
(?R)
(
recordingCompany
?MR ?R)))
Likely
))
Music.kif 741-746
IndieMusic
e' um
atributo
de
Objeto
o argumento
Entidade
recordingCompany
Objeto
and
Entidade
tem a
forca
modal
de
Likely
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15139-15149
Translucent
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
agente
de
Entidade
Entidade
termina
em
Entidade
Entidade
esta'
entre
Objeto
e
Entidade
tem a
forca
modal
de
Likely
(=>
(
attribute
?X
CommunalAttribute
)
(
modalAttribute
(
not
(
attribute
?X
PrivateAttribute
))
Likely
))
Mid-level-ontology.kif 27163-27166
CommunalAttribute
e' um
atributo
de
Objeto
o argumento
PrivateAttribute
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
(=>
(
attribute
?X
PrivateAttribute
)
(
modalAttribute
(
not
(
attribute
?X
CommunalAttribute
))
Likely
))
Mid-level-ontology.kif 27158-27161
PrivateAttribute
e' um
atributo
de
Objeto
o argumento
CommunalAttribute
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
modalAttribute
(
not
(
exists
(?BROWSER2)
(
and
(
instance
?BROWSER2
WebBrowser
)
(
browserID
?STRING ?BROWSER2 ?SITE))))
Likely
))
UXExperimentalTerms.kif 750-758
browserID
Identifier
,
WebBrowser
and
WebSite
o argumento
WebBrowser
WebBrowser
e' uma
instancia
de
WebBrowser
browserID
Identifier
,
WebBrowser
and
WebSite
tem a
forca
modal
de
Likely
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
Sequencia Simbolica
and
AutonomousAgent
Telephone
Entidade
and
Numero Real
phoneNumber
Sequencia Simbolica
and
Telephone
Numero Real
e'
maior
que 6
Numero Real
e'
menos
que 18
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
Telephone
e' um
patient
de
Entidade
AutonomousAgent
possui
Telephone
o argumento
Entidade
Entidade
e' uma
instancia
de
Answering
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
vale
durante
Entidade
e' uma
instancia
de a
hora
Numero Real
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
Sequencia Simbolica
and
AutonomousAgent
Telephone
Entidade
and
Numero Real
phoneNumber
Sequencia Simbolica
and
Telephone
Numero Real
e'
maior
que 18
Numero Real
e'
menos
que 6
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
Telephone
e' um
patient
de
Entidade
AutonomousAgent
possui
Telephone
o argumento
Entidade
Entidade
e' uma
instancia
de
Answering
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
vale
durante
Entidade
e' uma
instancia
de a
hora
Numero Real
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30376-30383
habitatOfOrganism
Organismo
and
Area Geografica
o argumento
Organismo
I
Organismo
I e' uma
instancia
de
Organismo
Organismo
I
vive
em
Area Geografica
tem a
forca
modal
de
Likely
(=>
(
hasUniform
?GRP ?UNIFORM)
(
modalAttribute
(
exists
(?PERS ?CLOTHING ?TIME)
(
and
(
member
?PERS ?GRP)
(
instance
?CLOTHING ?UNIFORM)
(
holdsDuring
?TIME
(
wears
?PERS ?CLOTHING))))
Likely
))
Mid-level-ontology.kif 26663-26671
hasUniform
Grupo
and
UniformClothing
o argumento
Entidade
Entidade
and
Entidade
Entidade
e'
membro
de
Grupo
Entidade
e' uma
instancia
de
UniformClothing
Entidade
usa
Entidade
vale
durante
Entidade
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOn
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOff
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOn
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOff
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
Anger
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AngryFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
Disgust
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
DisgustedFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Fear
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
acredita
que o argumento
Entidade
Agente Cognitivo
nao
quer
%n
Entidade
Posicao Temporal
comeca
antes
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
Fear
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
FearfulFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
Happiness
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
HappyFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
Sadness
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
SadFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
Surprise
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
SurprisedFacialExpression
Entidade
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
ImpairedBodyPartFn
Eardrum
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
EAR
Entidade
EAR e' uma
instancia
de
Ouvir
tempo
de existencia de
Entidade
EAR acontece
durante
Posicao Temporal
Entidade
experimenta
Entidade
EAR tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Bedridden
))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Bed
)
(
located
?H ?B)))
Likely
)))
Mid-level-ontology.kif 11040-11049
Bedridden
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
Bed
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Likely
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
Covid19
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
e' uma
instancia
de
COVIDAntibody
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Depression
))
(
modalAttribute
(
holdsDuring
?T
(
not
(
attribute
?H
Happiness
)))
Likely
))
Mid-level-ontology.kif 6394-6401
Depression
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
o argumento
Happiness
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
tem a
forca
modal
de
Likely
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