measure
(=>
(
and
(
measure
?OBJ1 ?MEAS)
(
contains
?OBJ2 ?OBJ1))
(
capacity
?OBJ2 ?MEAS))
Mid-level-ontology.kif 6690-6694
A
medida
de
Objeto
e'
Quantidade Constante
Objeto auto-conectado
contem
Objeto
capacity
Objeto auto-conectado
and
Quantidade Constante
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
A
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
contrastRatio
Objeto
and
Numero Real
Objeto
Objeto
,
Numero Real
and
Numero Real
a
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
instance
?QUAKE
Earthquake
))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
subProcess
?TREMOR ?QUAKE)
(
measure
?TREMOR
(
MeasureFn
?VALUE
RichterMagnitude
)))))
Geography.kif 2359-2369
A
medida
de
Processo
e'
Numero Real
RichterMagnitude
(s)
Processo
e' uma
instancia
de
Earthquake
Processo
Processo
e' uma
instancia
de
EarthTremor
Processo
e' um
sub
-processo de
Processo
a
medida
de
Processo
e'
Numero Real
RichterMagnitude
(s)
(=>
(
and
(
not
(
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
)))
(
greaterThan
?N 12))
Medicine.kif 206-221
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'
maior
que 12
(=>
(
and
(
not
(
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
)))
(
greaterThan
?N 13))
Medicine.kif 189-204
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'
maior
que 13
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
possui
Objeto
a
medida
de
Objeto
e'
Numero Real
ShareUnit
(s)
splitFor
StockSplit
,
Numero Inteiro
and
Numero Inteiro
Entidade
e'
igual
a
Numero Real
+
Numero Inteiro
Entidade
e'
igual
a
Entidade
+
Numero Inteiro
a
medida
de
Objeto
e'
Entidade
ShareUnit
(s)
vale
durante imediatemente
apos
tempo
de existencia de
StockSplit
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8047-8052
Objeto
e' um
recurso
para
Processo
a
medida
de
Objeto
e'
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
roomTempState
?C ?PS)
(
instance
?S ?C)
(
holdsDuring
?T
(
roomTempState
?C
Liquid
))
(
measure
?S
(
MeasureFn
101
(
KiloFn
Pascal
))))
(
holdsDuring
?T
(
measure
?S
(
MeasureFn
68
FahrenheitDegree
))))
Mid-level-ontology.kif 31674-31685
roomTempState
Substancia
and
Estado Fisico
Fisico
e' uma
instancia
de
Substancia
roomTempState
Substancia
and
Liquid
vale
durante
Posicao Temporal
a
medida
de
Fisico
e' 101 1
mil
Pascal
s(s)
a
medida
de
Fisico
e' 68
FahrenheitDegree
(s)
vale
durante
Posicao Temporal
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
topSpeed
Vehicle
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
Entidade
e' uma
instancia
de
UnitOfLength
Entidade
e' uma
instancia
de
UnitOfDuration
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Medida de Comprimento
por
Duracao Temporal
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2746-2767
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
NightTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Regiao
Illuminated
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 1000.0
Candela
(s)
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7371-7375
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s)
Numero Real
e'
maior
ou igual a 0.0
Numero Real
e'
menor
ou igual a 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 358-360
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s)
Numero Real
e'
maior
ou igual a 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
lessThanOrEqualTo
?NUMBER 360.0))
Geography.kif 362-364
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual a 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 370-372
A
medida
de
Fisico
e'
Numero Real
ArcMinute
(s)
Numero Real
e'
maior
ou igual a 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 374-376
A
medida
de
Fisico
e'
Numero Real
ArcMinute
(s)
Numero Real
e'
menor
ou igual a 60.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 389-391
A
medida
de
Fisico
e'
Numero Real
ArcSecond
(s)
Numero Real
e'
maior
ou igual a 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 393-395
A
medida
de
Fisico
e'
Numero Real
ArcSecond
(s)
Numero Real
e'
menor
ou igual a 60.0
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
A
medida
de
Fisico
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
a
medida
de
Fisico
e'
Medida de Comprimento
por
Duracao Temporal
(=>
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
instance
?VALUE
PositiveRealNumber
))
Geography.kif 2349-2351
A
medida
de
Fisico
e'
Numero Real
RichterMagnitude
(s)
Numero Real
e' uma
instancia
de
Numero Real positivo
(=>
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
or
(
instance
?QUAKE
EarthTremor
)
(
instance
?QUAKE
Earthquake
)))
Geography.kif 2353-2357
A
medida
de
Fisico
e'
Numero Real
RichterMagnitude
(s)
Fisico
e' uma
instancia
de
EarthTremor
Fisico
e' uma
instancia
de
Earthquake
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
greaterThanOrEqualTo
?PH 0.0))
Geography.kif 2557-2559
A
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Numero Real
e'
maior
ou igual a 0.0
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
lessThanOrEqualTo
?PH 14.0))
Geography.kif 2553-2555
A
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Numero Real
e'
menor
ou igual a 14.0
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