MeasureFn
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY
Entidade
(s) e'
maior
que
Numero Real
Unidade de Medida
(s) tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
defaultMaximumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
+ 1.5 tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
+ .5 tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY e'
menos
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
menos
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 818-828
downPayment
Loan
and
Numero Real
Unidade de Medida
(s)
loanForPurchase
Loan
and
Objeto
o
valor
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
originalBalance
Loan
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
elevation
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Objeto auto-conectado
e' uma
instancia
de
LandForm
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
SeaLevel
e'
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
Numero Real
MilesPerHour
(s) and
Duracao Temporal
Objeto
e' uma
instancia
de
Automobile
Processo
e' uma
instancia
de
GasPedal
Processo
e' uma
instancia
de
Pushing
Processo
termina
em
Objeto
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma &parte de
InternalCombustionEngine
a
medida
de
Objeto
e'
RotationFn
Entidade
MilesPerHour
(s) and
Duracao Temporal
vale
durante
tempo
de existencia de
Processo
o argumento
Entidade
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfAngularMeasure
))
(
instance
?QUANT
AngleMeasure
))
Merge.kif 6394-6398
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfAngularMeasure
Quantidade Fisica
e' uma
instancia
de
Medida de Angulo
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfArea
))
(
instance
?QUANT
AreaMeasure
))
Merge.kif 6370-6374
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Quantidade Fisica
e' uma
instancia
de
Medida de Area
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfCurrency
))
(
instance
?QUANT
CurrencyMeasure
))
Merge.kif 6388-6392
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Quantidade Fisica
e' uma
instancia
de
Medida de Divisa
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfDuration
))
(
instance
?QUANT
TimeDuration
))
Merge.kif 6400-6404
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Quantidade Fisica
e' uma
instancia
de
Duracao Temporal
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfFrequency
))
(
instance
?QUANT
FrequencyMeasure
))
Merge.kif 6846-6850
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfFrequency
Quantidade Fisica
e' uma
instancia
de
FrequencyMeasure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfInformation
))
(
instance
?QUANT
InformationMeasure
))
Merge.kif 6406-6410
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfInformation
Quantidade Fisica
e' uma
instancia
de
Medida de Informacao
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfLength
))
(
instance
?QUANT
LengthMeasure
))
Merge.kif 6358-6362
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Quantidade Fisica
e' uma
instancia
de
Medida de Comprimento
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfMass
))
(
instance
?QUANT
MassMeasure
))
Merge.kif 6364-6368
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfMass
Quantidade Fisica
e' uma
instancia
de
Medida de Massa
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfTemperature
))
(
instance
?QUANT
TemperatureMeasure
))
Merge.kif 6382-6386
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Quantidade Fisica
e' uma
instancia
de
Medida de Temperatura
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfVolume
))
(
instance
?QUANT
VolumeMeasure
))
Merge.kif 6376-6380
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Quantidade Fisica
e' uma
instancia
de
Medida de Volume
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
RadiationMeasure
e'
igual
a
Numero Real
Rad
(s) a
medida
de
Objeto
e'
RadiationMeasure
absorbedDose
Objeto
and
RadiationMeasure
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
Funcao de Quantidade
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
maior
que
Numero Real
PROB
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
Menopausal
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Real
e'
igual
a (1
YearDuration
(s) + o
comeco
de
Intervalo Temporal
)
Intervalo Temporal
e'
igual
a o
intervalo
entre
Intervalo Temporal
e o
comeco
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Menstruation
AutonomousAgent
experimenta
Processo
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