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
Wenn
Process
ist ein
fall
von
CheckingVitals
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** Object
%n{nicht} und
Lung
ist ein
fall
von
Lung
%n{nicht} und
** Lung
ist ein
teil
von
** Object
%n{nicht} und
systolicBloodPressure
** Object
and
entity
und
diastolicBloodPressure
** Object
and
** entity
und das
mass
von
** Object
ist
** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** Integer
,
dann
** CognitiveAgent
kennt
systolicBloodPressure
** Object
and
** entity
und
diastolicBloodPressure
** Object
and
** ** entity
und das
mass
von
** Object
ist
** ** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
** Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** ** Integer
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
CoffeeArabica
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.008 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.014 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
CoffeeRobusta
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.017 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.04 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Cream
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und das
mass
von
** ** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
ist ein
fall
von
Milk
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
FlatWhite
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** Substance
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
** ** RealNumber
ist
groesserAlsOderGleich
1.0 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
20.0 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Latte
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.21 und
approximateValue
** ** RealNumber
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
Wenn
Object
ist ein
fall
von
Antidiuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** TimeInterval
ist gleich
** ** TimeInterval
nicht und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} hat die modale Kraft von
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
Wenn
Object
ist ein
fall
von
Diuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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
Wenn
Process
ist ein
fall
von
Deposition
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
RealNumber
Joule
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
Joule
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
InternalCombustionEngine
%n{nicht} und
** Object
ist ein
fall
von
CombustionChamber
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Entity
ist ein
fall
von
Fuel
%n{nicht} und
** Entity
ist ein
fall
von
UnitOfVolume
%n{nicht} und
contains
** ** Object
and
** Entity
und das
mass
von
** Entity
ist
** entity
** ** Entity
(s) %n{nicht} und
EngineFlooded
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** ** Object
hat Zweck von es gibt nicht
** Entity
2 und
** entity
um
** Entity
2 ist ein
fall
von
Fuel
%n{nicht} und
contains
** ** Object
and
** Entity
2 und das
mass
von
** Entity
2 ist
** ** entity
** ** Entity
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
EngineChoke
%n{nicht} und
DeviceOn
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
Process
%n{nicht} und
DeviceOff
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** Process
%n{nicht} und
SelfConnectedObject
ist ein
fall
von
EngineCylinder
%n{nicht} und
capacity
** SelfConnectedObject
and
ConstantQuantity
und
** Process
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
** ** Process
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
eventLocated
** Process
and
** SelfConnectedObject
und
eventLocated
** ** Process
and
** SelfConnectedObject
und
Object
ist ein
fall
von
Air
%n{nicht} und
** Object
ist ein
fall
von
Fuel
%n{nicht} und
** Object
ist ein
teil
von
** ConstantQuantity
IX1 %n{nicht} und
** ** Object
ist ein
teil
von
** ConstantQuantity
IX1 %n{nicht} und das
mass
von
** ConstantQuantity
IX1 ist
** ConstantQuantity
%n{nicht} und
** Object
ist ein
fall
von
Air
%n{nicht} und
** Object
ist ein
fall
von
Fuel
%n{nicht} und
** ** Object
ist ein
teil
von
** ConstantQuantity
IX2 %n{nicht} und
** ** Object
ist ein
teil
von
** ConstantQuantity
IX2 %n{nicht} und das
mass
von
** ConstantQuantity
IX2 ist
** ConstantQuantity
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und das
mass
von
** Object
ist
** Object
M
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Object
ist
** ** Object
M
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Object
ist
** ** Object
M
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Object
ist
** ** Object
M
** UnitOfMeasure
(s) %n{nicht},
dann
** ** Object
M und
** ** Object
M ist
groesserAls
** Object
M und
** ** Object
M %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evaporating
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
Liquid
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
Gas
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FoamingMilk
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und
** Physical
ist ein
fall
von
ProcessedMilk
%n{nicht} und
** Process
ist ein
fall
von
Heating
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und das
mass
von
** Physical
ist
RealNumber
CelsiusDegree
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2986-2992
Wenn
Entity
ist ein
fall
von
Grease
%n{nicht} und das
mass
von
** Entity
ist 77
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
Solid
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
Rectum
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
coreBodyTemp
** Object
and
RealNumber
entity
(s) und das
mass
von
** ** Object
ist
** RealNumber
2
** entity
(s) %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
approximateValue
** RealNumber
and
** RealNumber
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
Wenn
Human
ist ein
fall
von
HumanAdult
%n{nicht} und das
mass
von
** Human
ist
RealNumber
Pounds
(s) %n{nicht},
dann
bloodVolume
** Human
and
** RealNumber
2
Liter
(s) und
** RealNumber
2 ist gleich
** RealNumber
und 0.07 und 2.33 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
GravesDisease
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
HashimotosThyroiditis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
IgnitionCoil
%n{nicht} und
Process
ist ein
fall
von
ElectricTransmission
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** ** Object
ist ein
fall
von
Electricity
%n{nicht} und
Entity
ist ein
fall
von
Electricity
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und das
mass
von
** ** Object
ist
RealNumber
Volt
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
Wenn
Physical
ist ein
fall
von
Ice
%n{nicht} und das
mass
von
** Physical
ist
RealNumber
CelsiusDegree
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
0.0 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Mixture
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
mixtureRatio
Substance
,
** Substance
,
RealNumber
,
** RealNumber
and
** UnitOfMeasure
und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** ** Substance
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Substance
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Substance
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** ** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
OnePercentMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist gleich 0.01 und
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
SemiSkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.015 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.02 und
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
SkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.0 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.005 und
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
TwoPercentMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist gleich 0.02 und
** RealNumber
%n{nicht}
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