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
Processus
est une
instance
de
CheckingVitals
processus
est un
agent
de
agent cognitif
objet
est un
patient
de
processus
Heart
est une
instance
de
Heart
Heart
est une
partie
de
objet
Lung
est une
instance
de
Lung
Lung
est une
partie
de
objet
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
agent cognitif
conna
�t
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
(=>
(
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
Objet
est une
instance
de
CoffeeArabica
la
mesure
de
objet
est
nombre r�el
Gram
(s)
objet
C est une
instance
de
Caffeine
objet
C est une
partie
de
objet
la
mesure
de
objet
C est
nombre r�el
Gram
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 0.008
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
CoffeeRobusta
la
mesure
de
objet
est
nombre r�el
Gram
(s)
objet
C est une
instance
de
Caffeine
objet
C est une
partie
de
objet
la
mesure
de
objet
C est
nombre r�el
Gram
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 0.017
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Cream
objet
est une
partie
de
objet
objet
est une
instance
de
ButterFat
la
mesure
de
objet
est
nombre r�el
Gram
(s)
objet
est une
instance
de
Milk
objet
est une
partie
de
objet
objet
est une
instance
de
ButterFat
la
mesure
de
objet
est
nombre r�el
Gram
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
FlatWhite
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
partie
de
substance
le
dessus
de
substance
est
objet en une partie
objet en une partie
est une
instance
de
Bubble
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
nombre r�el
est
plus
grand
ou �gal � 1.0
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Latte
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
instance
de
Bubble
le
dessus
de
substance
est
objet en une partie
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.21
approximateValue
nombre r�el
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
Objet
est une
instance
de
Antidiuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
interval temporel
est
interval temporel
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
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
Objet
est une
instance
de
Diuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
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
Processus
est une
instance
de
Deposition
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
UnitOfVolume
objet
contient
entit�
la
mesure
de
entit�
est
entit�
entit�
(s)
EngineFlooded
est un
attribut
de
objet
pendant
position temporel
objet
a pour
but
entit�
2
entit�
entit�
2 est une
instance
de
Fuel
objet
contient
entit�
2 la
mesure
de
entit�
2 est
entit�
entit�
(s)
entit�
est
plus
grand
ou �gal �
entit�
(=>
(
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
Entit�
est une
instance
de
EngineChoke
DeviceOn
est un
attribut
de
entit�
pendant
processus
DeviceOff
est un
attribut
de
entit�
pendant
processus
objet en une partie
est une
instance
de
EngineCylinder
capacity
objet en une partie
and
quantit� constante
processus
est une
instance
de
FourStrokeCompression
processus
est une
instance
de
FourStrokeCompression
eventLocated
processus
and
objet en une partie
eventLocated
processus
and
objet en une partie
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX1
objet
est une
partie
de
quantit� constante
IX1 la
mesure
de
quantit� constante
IX1 est
quantit� constante
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX2
objet
est une
partie
de
quantit� constante
IX2 la
mesure
de
quantit� constante
IX2 est
quantit� constante
unit� de mesure
est une
instance
de
unit� de mesure
la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s)
objet
M +
objet
M est
plus
grand
que
objet
M +
objet
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
Processus
est une
instance
de
Evaporating
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
substance pure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
FoamingMilk
physique
est un
patient
de
processus
physique
est une
instance
de
ProcessedMilk
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
la
mesure
de
physique
est
nombre r�el
CelsiusDegree
(s)
approximateValue
nombre r�el
and 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2986-2992
Entit�
est une
instance
de
Grease
la
mesure
de
entit�
est 77
FahrenheitDegree
(s)
pendant
position temporel
Solid
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
Objet
est une
instance
de
humain
objet
est une
instance
de
Rectum
objet
est une
partie
de
objet
coreBodyTemp
objet
and
nombre r�el
entit�
(s) la
mesure
de
objet
est
nombre r�el
2
entit�
(s)
pendant
position temporel
approximateValue
nombre r�el
and
nombre r�el
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
Humain
est une
instance
de
HumanAdult
la
mesure
de
humain
est
nombre r�el
Pounds
(s)
bloodVolume
humain
and
nombre r�el
2
Liter
(s)
nombre r�el
2 est
nombre r�el
+ 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
Processus
est une
instance
de
GravesDisease
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
HashimotosThyroiditis
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
IgnitionCoil
processus
est une
instance
de
ElectricTransmission
objet
est une
resource
pour
processus
objet
est une
instance
de
Electricity
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
la
mesure
de
objet
est
nombre r�el
Volt
(s)
approximateValue
nombre r�el
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
Physique
est une
instance
de
Ice
la
mesure
de
physique
est
nombre r�el
CelsiusDegree
(s)
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
mixture
unit� de mesure
est une
instance
de
unit� de mesure
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
unit� de mesure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
substance
est une
partie
de
objet
substance
est une
partie
de
objet
la
mesure
de
substance
est
nombre r�el
unit� de mesure
(s) la
mesure
de
substance
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
(=>
(
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
Objet
est une
instance
de
OnePercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
(=>
(
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
Objet
est une
instance
de
SemiSkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.015 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.02 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
SkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.005 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
TwoPercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
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