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
totalPipelineInArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Pipeline
physique
est
situ
� �
secteur g�ographique
(=>
(
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
typicalBloodVolume
mammif�re
and
nombre r�el
unit� de mesure
(s)
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
entit�
est une
instance
de
mammif�re
nombre r�el
2 + 2.0 est
plus
grand
que
nombre r�el
nombre r�el
2 est
moins
que 0.8 +
nombre r�el
SevereBloodLoss
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
viewedItemList
AutonomousAgent
and
liste
processus
est une
instance
de
AccessingWebPage
processus
est une
instance
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
th
liste
est
processus
nombre entier positif
th
liste
est
processus
nombre entier positif
est
plus
grand
que
nombre entier positif
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
maxDeviceOperatingTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOn
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
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
maxDeviceStorageTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOff
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
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
systolicBloodPressure
entit�
and
entit�
MmMercury
(s)
diastolicBloodPressure
entit�
and
entit�
MmMercury
(s) 90.0 est
plus
grand
que
entit�
60.0 est
plus
grand
que
entit�
pendant
position temporel
LowBloodPressure
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
systolicBloodPressure
entit�
and
entit�
MmMercury
(s)
diastolicBloodPressure
entit�
and
entit�
MmMercury
(s)
entit�
est
plus
grand
que 140.0
entit�
est
plus
grand
que 90.0
pendant
position temporel
HighBloodPressure
est un
attribut
de
entit�
pendant
position temporel
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