greaterThan
(=>
(
and
(
totalPipelineInArea
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?PIPE)
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))))
Transportation.kif 694-702
Wenn
totalPipelineInArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Pipeline
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
Wenn
typicalBloodVolume
** Mammal
and
RealNumber
UnitOfMeasure
(s) und
bloodVolume
Entity
and
** RealNumber
2
** UnitOfMeasure
(s) haelt
waehrend
TimePosition
%n{nicht} und
** Entity
ist ein
fall
von
** Mammal
%n{nicht} und
** RealNumber
2 und 2.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAls
0.8 und
** RealNumber
%n{nicht},
dann
SevereBloodLoss
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
Wenn
viewedItemList
AutonomousAgent
and
List
und
Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht} und
** PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht} und
** PositiveInteger
te
mitglied
von
** List
ist gleich
** Process
%n{nicht} und
** ** PositiveInteger
te
mitglied
von
** List
ist gleich
** ** Process
%n{nicht} und
** PositiveInteger
ist
groesserAls
** ** PositiveInteger
%n{nicht},
dann die
zeit
des Bestehens von
** ** Process
geschieht frueh als die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
Wenn
maxDeviceOperatingTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOn
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
Wenn
maxDeviceStorageTemp
entity
and
** entity
** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
DeviceOff
ist ein
attribut
von
** entity
%n{nicht} und
airTemperature
** entity
and
** entity
** ** entity
(s) und
** ** entity
ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
DeviceDamaged
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht} hat die modale Kraft von
Likely
(=>
(
holdsDuring
?T
(
and
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
90.0 ?NS)
(
greaterThan
60.0 ?ND)))
(
holdsDuring
?T
(
attribute
?H
LowBloodPressure
)))
Mid-level-ontology.kif 10469-10479
Wenn
systolicBloodPressure
entity
and
** entity
MmMercury
(s) und
diastolicBloodPressure
** entity
and
** entity
MmMercury
(s) und 90.0 ist
groesserAls
** ** entity
%n{nicht} und 60.0 ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
LowBloodPressure
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
holdsDuring
?T
(
and
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
?NS 140.0)
(
greaterThan
?ND 90.0)))
(
holdsDuring
?T
(
attribute
?H
HighBloodPressure
)))
Mid-level-ontology.kif 10451-10461
Wenn
systolicBloodPressure
entity
and
** entity
MmMercury
(s) und
diastolicBloodPressure
** entity
and
** entity
MmMercury
(s) und
** ** entity
ist
groesserAls
140.0 %n{nicht} und
** ** entity
ist
groesserAls
90.0 %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
HighBloodPressure
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
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