Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 31733-31737
approximateValue
Numero Real
and
Numero Real
o argumento
equal
Numero Real
and
Numero Real
tem a
forca
modal
de
Likely
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5072-5081
Pyelonephritis
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Bacteria
Entidade
e' uma
instancia
de
Kidney
Entidade
e' uma &parte de
Objeto
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Likely
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 729-736
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 743-748
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 16513-16523
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 29076-29079
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 29071-29074
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 3709-3729
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
(=>
(
equal
(
MeasureFn
(
PerFn
(
MeasureFn
?F
KilogramForce
)
(
MeasureFn
?A
SquareMillimeter
))
VickersPyramidNumber
)
(
VickersHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?SUB ?P ?D ?H ?S)
(
and
(
instance
?SUB ?CLASS)
(
instance
?P
Pushing
)
(
destination
?P ?SUB)
(
instance
?D
Diamond
)
(
shape
?D
SquarePyramid
)
(
patient
?P ?D)
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?SUB)
(
surface
?S ?H)
(
totalArea
?S
(
MeasureFn
?A
SquareMillimeter
))
(
measure
?P
(
MeasureFn
?F
KilogramForce
))))
Likely
))
Mid-level-ontology.kif 10473-10494
equal
PerFn
Numero Real
KilogramForce
(s) and
Numero Real
SquareMillimeter
(s)
VickersPyramidNumber
(s) and
VickersHardnessFn
Substancia
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Diamond
shape
Entidade
and
SquarePyramid
Entidade
e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Buraco
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
superficie
de
Entidade
totalArea
Entidade
and
Numero Real
SquareMillimeter
(s) a
medida
de
Entidade
e'
Numero Real
KilogramForce
(s) tem a
forca
modal
de
Likely
(=>
(
equal
(
MeasureFn
?X
PoundForce
)
(
JankaHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?T ?W ?P ?B ?H ?S)
(
and
(
instance
?T ?CLASS)
(
part
?W ?T)
(
instance
?W
Wood
)
(
instance
?P
Pushing
)
(
destination
?P ?W)
(
instance
?B
Ball
)
(
material
?B
Steel
)
(
patient
?P ?B)
(
sphereRadius
?B
(
MeasureFn
5.64
Millimeter
))
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?W)
(
surface
?S ?W)
(
distance
?S ?H
(
MeasureFn
5.64
Millimeter
))
(
measure
?P
(
MeasureFn
?X
PoundForce
))))
Likely
))
Mid-level-ontology.kif 10397-10420
equal
Numero Real
PoundForce
(s) and
JankaHardnessFn
BotanicalTree
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
BotanicalTree
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Wood
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Ball
Entidade
e'
feito
de
Steel
Entidade
e' um
patient
de
Entidade
sphereRadius
Entidade
and 5.64
Millimeter
(s)
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Buraco
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
superficie
de
Entidade
a
distancia
entre
Entidade
e
Entidade
e' 5.64
Millimeter
(s) a
medida
de
Entidade
e'
Numero Real
PoundForce
(s) tem a
forca
modal
de
Likely
(=>
(
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 3753-3773
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 32306-32313
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 28574-28582
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 3624-3637
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 3652-3665
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 3677-3690
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 3703-3716
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
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
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
