measure
(=>
(
and
(
instance
?M
WholeMilk
)
(
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.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
Objet
est une
instance
de
WholeMilk
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.0325 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.05 +
nombre r�el
(=>
(
and
(
instance
?P
Process
)
(
measure
?P ?Q))
(
instance
?Q
TimeDependentQuantity
))
Merge.kif 7510-7514
Physique
est une
instance
de
processus
la
mesure
de
physique
est
quantit� physique
quantit� physique
est une
instance
de
quantit� d�pendant du temps
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
R�gion
est une
instance
de
objet
physique
est une
instance
de
Wind
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
surfaceWindVelocity
r�gion
,
mesure de longueur
par
dur�e temporel
and
attribut directionnel
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
Processus
est une
instance
de
processus
physique
est un
patient
de
processus
physique
est une
instance
de
eau
la
mesure
de
physique
est
nombre r�el
PHValue
(s)
nombre r�el
est
moins
que 5.6
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Entit�
est une
instance
de
objet en une partie
processus
est une
instance
de
Compressing
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est une
instance
de
UnitOfVolume
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
Physique
est une
instance
de
MerchantMarineShip
la
mesure
de
physique
est
nombre r�el
RegistryTon
(s)
nombre r�el
est
plus
grand
ou �gal � 1000
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processus
est une
instance
de
Sublimation
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
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
Entit�
est une
instance
de
substance pure
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
mettre en fusion
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
Entit�
est une
instance
de
substance pure
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s) la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
moins
que
nombre r�el
Solid
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
congeler
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
Objet
est une
instance
de
BrackishWater
la
mesure
de
objet
est 1.0
Liter
(s)
objet
est une
partie
de
objet
objet
est une
instance
de
SodiumChloride
la
mesure
de
objet
est
nombre r�el
Gram
(s)
nombre r�el
est
plus
grand
que 0.5
nombre r�el
est plus
petit
ou �gal � 30.0
(=>
(
and
(
instance
?SW
SeaWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
approximateValue
?R 35.0))
Geography.kif 2836-2845
Objet
est une
instance
de
SeaWater
la
mesure
de
objet
est 1.0
Liter
(s)
objet
est une
partie
de
objet
objet
est une
instance
de
SodiumChloride
la
mesure
de
objet
est
nombre r�el
Gram
(s)
approximateValue
nombre r�el
and 35.0
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3095-3109
Position temporel
est une
instance
de
ElectricalTransformer
WireCoil
est une
instance
de
WireCoil
WireCoil
est une
instance
de
WireCoil
coilCount
WireCoil
and
nombre entier
coilCount
WireCoil
and
nombre entier
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre entier
+
nombre entier
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
Unit� de mesure
est une
instance
de
mesure d'aire
la
mesure
de
Alaska
est
nombre r�el
unit� de mesure
(s) la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
physique
est une
instance
de
AmericanState
Alaska
est
physique
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?W
TapWater
)
(
instance
?M
Mixture
)
(
part
?W ?M)
(
instance
?A
Antifreeze
)
(
part
?A ?M)
(
attribute
?M
Solid
)
(
measure
?M
(
MeasureFn
?D
CelsiusDegree
)))
(
greaterThan
32 ?D))
Cars.kif 1219-1228
Objet
est une
instance
de
TapWater
objet
est une
instance
de
mixture
objet
est une
partie
de
objet
objet
est une
instance
de
Antifreeze
objet
est une
partie
de
objet
Solid
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
CelsiusDegree
(s)
32 est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
Processus
est une
instance
de
marcher
processus
est une
instance
de
Running
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
Processus
est une
instance
de
Erosion
physique
est une
instance
de
LandForm
physique
est un
patient
de
processus
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
entit�
la
mesure
de
physique
est
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
barometricPressure
objet
and
nombre r�el
InchMercury
(s) 29.92 est
plus
grand
que
nombre r�el
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
Gas
est un
attribut
de
objet
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
objet
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
plus
grand
que 29.92 la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
moins
que
nombre r�el
Solid
est un
attribut
de
objet
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Objet
est une
instance
de
WindFlow
objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
elevation
objet
and
nombre r�el
FootLength
(s)
nombre r�el
est plus
petit
ou �gal � 500.0 la
mesure
de
objet
est
mesure de longueur
par
dur�e temporel
surfaceWindSpeed
objet
and
mesure de longueur
par
dur�e temporel
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
Physique
est une
instance
de
WindFlow
objet
est une
instance
de
objet
physique
est
partiellement
localis� �
objet
la
mesure
de
physique
est
nombre r�el
KnotUnitOfSpeed
(s)
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 194-199
Physique
est une
instance
de
WindFlow
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
entit�
-TOWARD
oppositeDirection
entit�
-TOWARD and
entit�
-FROM
surfaceWindDirection
r�gion
and
entit�
-FROM
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
La
mesure
de
FlowFn
substance
est
nombre r�el
KnotUnitOfSpeed
(s)
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
nombre r�el
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
mesure de longueur
par
dur�e temporel
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
substance
est une
pi
�ce de
substance
la
mesure
de
substance
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
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