MultiplicationFn
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
LongAndThin
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que 3.0 +
nombre r�el
nombre r�el
est
moins
que 3.0 +
nombre r�el
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31138-31146
circumfrence
Circle
and
mesure de longueur
nombre r�el
unit� de mesure
le
diam
�tre de
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 3.14
unit� de mesure
(s) est
mesure de longueur
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7669-7674
Le
diam
�tre de
Circle
est
mesure de longueur
nombre r�el
unit� de mesure
le
radius
de
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 2
unit� de mesure
(s) est
mesure de longueur
(=>
(
equal
(
DiameterFn
?C)
(
MeasureFn
?L ?U))
(
exists
(?R)
(
and
(
equal
(
RadiusFn
?C)
(
MeasureFn
?R ?U))
(
equal
(
MultiplicationFn
?R 2.0) ?L))))
Mid-level-ontology.kif 4952-4957
DiameterFn
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
RadiusFn
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 2.0 est
nombre r�el
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227
Le
carr
� de
nombre r�el
est
nombre r�el
nombre r�el
+
nombre r�el
est
nombre r�el
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3877-3883
Quantit� physique
est
nombre r�el
NauticalMile
(s)
quantit� physique
est
nombre r�el
+ 1.151
Mile
(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantit� physique
est
nombre r�el
NauticalMile
(s)
quantit� physique
est
nombre r�el
+ 1.852 1
millier
Meter
s(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
Joule
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
0.0002778 ?X)
Watt
)))
Economy.kif 2016-2018
Quantit� physique
est
nombre r�el
Joule
(s)
quantit� physique
est
nombre r�el
Watt
(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
KilowattHour
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
3600000.0 ?X)
Joule
)))
Economy.kif 2011-2013
Quantit� physique
est
nombre r�el
KilowattHour
(s)
quantit� physique
est
nombre r�el
Joule
(s)
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13683-13687
Nombre r�el
est
nombre r�el
nombre r�el
MillenniumDuration
(s) est
nombre r�el
+ 1000
YearDuration
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3912-3919
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1.151
Mile
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1.852 1
millier
Meter
s(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3885-3892
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 1852.0
Meter
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3903-3910
Nombre r�el
est
nombre r�el
nombre r�el
NauticalMile
(s) est
nombre r�el
+ 6076.1
FootLength
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 625-631
Nombre r�el
est
nombre r�el
nombre r�el
SquareKilometer
(s) est
nombre r�el
+ 1000000.0
SquareMeter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 19064-19068
Nombre r�el
est
nombre r�el
nombre r�el
CenturyDuration
(s) est
nombre r�el
+ 100
YearDuration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8759-8763
Nombre r�el
est
nombre r�el
nombre r�el
DecadeDuration
(s) est
nombre r�el
+ 10
YearDuration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3844-3848
Nombre r�el
est
nombre r�el
nombre r�el
Fathom
(s) est
nombre r�el
+ 6.0
FootLength
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13618-13622
Nombre r�el
est
nombre r�el
nombre r�el
LongTon
(s) est
nombre r�el
+ 2240.0
PoundMass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 19083-19089
Nombre r�el
est
nombre r�el
nombre r�el
Nanometer
(s) est
nombre r�el
+ 0.000000001
Meter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13668-13672
Nombre r�el
est
nombre r�el
nombre r�el
RegistryTon
(s) est
nombre r�el
+ 100.0
CubicFoot
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13591-13595
Nombre r�el
est
nombre r�el
nombre r�el
TonMass
(s) est
nombre r�el
+ 2205.0
PoundMass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 19073-19077
Nombre r�el
est
nombre r�el
nombre r�el
YardLength
(s) est
nombre r�el
FootLength
(s)
(=>
(
instance
?L
Lungo
)
(
exists
(?E ?V)
(
and
(
instance
?E
Espresso
)
(
part
?E ?L)
(
measure
?E
(
MeasureFn
?V
Liter
))
(
instance
?V
RealNumber
)
(
measure
?L
(
MeasureFn
(
MultiplicationFn
?V 2)
Liter
)))))
Food.kif 770-781
Objet
est une
instance
de
Lungo
objet
nombre r�el
objet
est une
instance
de
Espresso
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
Liter
(s)
nombre r�el
est une
instance
de
nombre r�el
la
mesure
de
objet
est
nombre r�el
+ 2
Liter
(s)
(=>
(
instance
?N
RealNumber
)
(
equal
(
MeasureFn
?N
Horsepower
)
(
MeasureFn
(
MultiplicationFn
?N 746)
Watt
)))
Merge.kif 6902-6906
Nombre r�el
est une
instance
de
nombre r�el
nombre r�el
Horsepower
(s) est
nombre r�el
+ 746
Watt
(s)
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