measure
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
Objeto
e' uma
instancia
de
WholeMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0325 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.05 +
Numero Real
(=>
(
and
(
instance
?P
Process
)
(
measure
?P ?Q))
(
instance
?Q
TimeDependentQuantity
))
Merge.kif 7510-7514
Fisico
e' uma
instancia
de
Processo
a
medida
de
Fisico
e'
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Quantidade Dependente do Tempo
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
Regiao
e' uma
instancia
de
Objeto
Fisico
e' uma
instancia
de
Wind
a
medida
de
Fisico
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
surfaceWindVelocity
Regiao
,
Medida de Comprimento
por
Duracao Temporal
and
Atributo Directional
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
Processo
e' uma
instancia
de
Processo
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
Agua
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Numero Real
e'
menos
que 5.6
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Entidade
e' uma
instancia
de
Objeto auto-conectado
Processo
e' uma
instancia
de
Compressing
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
Fisico
e' uma
instancia
de
MerchantMarineShip
a
medida
de
Fisico
e'
Numero Real
RegistryTon
(s)
Numero Real
e'
maior
ou igual a 1000
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processo
e' uma
instancia
de
Sublimation
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
Entidade
e' uma
instancia
de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Derreter
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
Entidade
e' uma
instancia
de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s) a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Congelar
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
Objeto
e' uma
instancia
de
BrackishWater
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 0.5
Numero Real
e'
menor
ou igual a 30.0
(=>
(
and
(
instance
?SW
SeaWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
approximateValue
?R 35.0))
Geography.kif 2836-2845
Objeto
e' uma
instancia
de
SeaWater
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
approximateValue
Numero Real
and 35.0
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3095-3109
Posicao Temporal
e' uma
instancia
de
ElectricalTransformer
WireCoil
e' uma
instancia
de
WireCoil
WireCoil
e' uma
instancia
de
WireCoil
coilCount
WireCoil
and
Numero Inteiro
coilCount
WireCoil
and
Numero Inteiro
a
medida
de
WireCoil
e'
Volt
Numero Real
(s)
vale
durante
Posicao Temporal
a
medida
de
WireCoil
e'
Volt
Numero Real
(s)
vale
durante
Posicao Temporal
Numero Real
e'
igual
a
Numero Real
+
Numero Inteiro
+
Numero Inteiro
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
Unidade de Medida
e' uma
instancia
de
Medida de Area
a
medida
de
Alaska
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Fisico
e' uma
instancia
de
AmericanState
Alaska
e'
igual
a
Fisico
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?W
TapWater
)
(
instance
?M
Mixture
)
(
part
?W ?M)
(
instance
?A
Antifreeze
)
(
part
?A ?M)
(
attribute
?M
Solid
)
(
measure
?M
(
MeasureFn
?D
CelsiusDegree
)))
(
greaterThan
32 ?D))
Cars.kif 1219-1228
Objeto
e' uma
instancia
de
TapWater
Objeto
e' uma
instancia
de
Mistura
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Antifreeze
Objeto
e' uma &parte de
Objeto
Solid
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
CelsiusDegree
(s)
32 e'
maior
que
Numero Real
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
Processo
e' uma
instancia
de
Andar
Processo
e' uma
instancia
de
Running
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
medida
de
AutonomousAgent
e'
Numero Real
por
Entidade
vale
durante
tempo
de existencia de
Processo
a
medida
de
AutonomousAgent
e'
Numero Real
por
Entidade
vale
durante
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
Processo
e' uma
instancia
de
Erosion
Fisico
e' uma
instancia
de
LandForm
Fisico
e' um
patient
de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Entidade
a
medida
de
Fisico
e'
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
barometricPressure
Objeto
and
Numero Real
InchMercury
(s) 29.92 e'
maior
que
Numero Real
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Gas
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 29.92 a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Objeto
e' uma
instancia
de
WindFlow
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
elevation
Objeto
and
Numero Real
FootLength
(s)
Numero Real
e'
menor
ou igual a 500.0 a
medida
de
Objeto
e'
Medida de Comprimento
por
Duracao Temporal
surfaceWindSpeed
Objeto
and
Medida de Comprimento
por
Duracao Temporal
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
Fisico
e' uma
instancia
de
WindFlow
Objeto
e' uma
instancia
de
Objeto
Fisico
e'
parcialmente
localizado em
Objeto
a
medida
de
Fisico
e'
Numero Real
KnotUnitOfSpeed
(s)
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 194-199
Fisico
e' uma
instancia
de
WindFlow
a
medida
de
Fisico
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Entidade
-TOWARD
oppositeDirection
Entidade
-TOWARD and
Entidade
-FROM
surfaceWindDirection
Regiao
and
Entidade
-FROM
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
A
medida
de
FlowFn
Substancia
e'
Numero Real
KnotUnitOfSpeed
(s)
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Numero Real
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Medida de Comprimento
por
Duracao Temporal
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
Substancia
e' uma
peca
de
Substancia
a
medida
de
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
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