measure
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Processo
e' uma
instancia
de
CheckingVitals
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
patient
de
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
Objeto
Lung
e' uma
instancia
de
Lung
Lung
e' uma &parte de
Objeto
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
Agente Cognitivo
sabe
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
Objeto
e' uma
instancia
de
CoffeeArabica
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.008
Numero Real
e'
menor
ou igual a 0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
Objeto
e' uma
instancia
de
CoffeeRobusta
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.017
Numero Real
e'
menor
ou igual a 0.04
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
Objeto
e' uma
instancia
de
Cream
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
ButterFat
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
e' uma
instancia
de
Milk
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
ButterFat
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Objeto
e' uma
instancia
de
FlatWhite
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma &parte de
Substancia
o
topo
de
Substancia
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Bubble
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
Numero Real
e'
maior
ou igual a 1.0
Numero Real
e'
menor
ou igual a 20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
Objeto
e' uma
instancia
de
Latte
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.21
approximateValue
Numero Real
and 12.0
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
Objeto
e' uma
instancia
de
Antidiuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
Objeto
e' uma
instancia
de
Diuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processo
e' uma
instancia
de
Deposition
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'
menos
que
Numero Real
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Fuel
Entidade
e' uma
instancia
de
UnitOfVolume
Objeto
contem
Entidade
a
medida
de
Entidade
e'
Entidade
Entidade
(s)
EngineFlooded
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
tem por
fim
Entidade
2
Entidade
Entidade
2 e' uma
instancia
de
Fuel
Objeto
contem
Entidade
2 a
medida
de
Entidade
2 e'
Entidade
Entidade
(s)
Entidade
e'
maior
ou igual a
Entidade
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
Entidade
e' uma
instancia
de
EngineChoke
DeviceOn
e' um
atributo
de
Entidade
vale
durante
Processo
DeviceOff
e' um
atributo
de
Entidade
vale
durante
Processo
Objeto auto-conectado
e' uma
instancia
de
EngineCylinder
capacity
Objeto auto-conectado
and
Quantidade Constante
Processo
e' uma
instancia
de
FourStrokeCompression
Processo
e' uma
instancia
de
FourStrokeCompression
eventLocated
Processo
and
Objeto auto-conectado
eventLocated
Processo
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Air
Objeto
e' uma
instancia
de
Fuel
Objeto
e' uma &parte de
Quantidade Constante
IX1
Objeto
e' uma &parte de
Quantidade Constante
IX1 a
medida
de
Quantidade Constante
IX1 e'
Quantidade Constante
Objeto
e' uma
instancia
de
Air
Objeto
e' uma
instancia
de
Fuel
Objeto
e' uma &parte de
Quantidade Constante
IX2
Objeto
e' uma &parte de
Quantidade Constante
IX2 a
medida
de
Quantidade Constante
IX2 e'
Quantidade Constante
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s) a
medida
de
Objeto
e'
Objeto
M
Unidade de Medida
(s)
Objeto
M +
Objeto
M e'
maior
que
Objeto
M +
Objeto
M
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
Processo
e' uma
instancia
de
Evaporating
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Substancia Pura
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Numero Real
e'
maior
que
Numero Real
Liquid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Gas
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1207-1216
Processo
e' uma
instancia
de
FoamingMilk
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
ProcessedMilk
Processo
e' uma
instancia
de
Aquecer
Processo
e' um
sub
-processo de
Processo
a
medida
de
Fisico
e'
Numero Real
CelsiusDegree
(s)
approximateValue
Numero Real
and 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2986-2992
Entidade
e' uma
instancia
de
Grease
a
medida
de
Entidade
e' 77
FahrenheitDegree
(s)
vale
durante
Posicao Temporal
Solid
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
Rectum
Objeto
e' uma &parte de
Objeto
coreBodyTemp
Objeto
and
Numero Real
Entidade
(s) a
medida
de
Objeto
e'
Numero Real
2
Entidade
(s)
vale
durante
Posicao Temporal
approximateValue
Numero Real
and
Numero Real
2
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5915-5924
Humano
e' uma
instancia
de
HumanAdult
a
medida
de
Humano
e'
Numero Real
Pounds
(s)
bloodVolume
Humano
and
Numero Real
2
Liter
(s)
Numero Real
2 e'
igual
a
Numero Real
+ 0.07 + 2.33
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
Processo
e' uma
instancia
de
GravesDisease
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
Processo
e' uma
instancia
de
HashimotosThyroiditis
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
Objeto
e' uma
instancia
de
IgnitionCoil
Processo
e' uma
instancia
de
ElectricTransmission
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Electricity
Entidade
e' uma
instancia
de
Electricity
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
a
medida
de
Objeto
e'
Numero Real
Volt
(s)
approximateValue
Numero Real
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
Fisico
e' uma
instancia
de
Ice
a
medida
de
Fisico
e'
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menor
ou igual a 0.0
(=>
(
and
(
instance
?M
Mixture
)
(
instance
?Z
UnitOfMeasure
)
(
mixtureRatio
?A ?B ?X ?Y ?Z)
(
measure
?M
(
MeasureFn
?T ?Z))
(
part
?A ?M)
(
part
?B ?M)
(
measure
?A
(
MeasureFn
?X ?Z))
(
measure
?B
(
MeasureFn
?Y ?Z)))
(
equal
?T
(
AdditionFn
?X ?Y)))
Food.kif 1248-1262
Objeto
e' uma
instancia
de
Mistura
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Unidade de Medida
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
a
medida
de
Substancia
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Substancia
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
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))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
Objeto
e' uma
instancia
de
OnePercentMilk
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'
igual
a 0.01 +
Numero Real
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
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.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
Objeto
e' uma
instancia
de
SemiSkimmedMilk
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.015 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.02 +
Numero Real
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
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.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
Objeto
e' uma
instancia
de
SkimmedMilk
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.0 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.005 +
Numero Real
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
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))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2945-2962
Objeto
e' uma
instancia
de
TwoPercentMilk
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'
igual
a 0.02 +
Numero Real
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