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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que 3.0 +
Numero Real
Numero Real
e'
menos
que 3.0 +
Numero Real
(=>
(
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
Medida de Comprimento
Numero Real
Unidade de Medida
o
diametro
de
Circle
e'
Numero Real
Unidade de Medida
(s)
Numero Real
+ 3.14
Unidade de Medida
(s) e'
igual
a
Medida de Comprimento
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7669-7674
O
diametro
de
Circle
e'
Medida de Comprimento
Numero Real
Unidade de Medida
o
radio
de
Circle
e'
Numero Real
Unidade de Medida
(s)
Numero Real
+ 2
Unidade de Medida
(s) e'
igual
a
Medida de Comprimento
(=>
(
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
e'
igual
a
Numero Real
Unidade de Medida
(s)
Numero Real
RadiusFn
Circle
e'
igual
a
Numero Real
Unidade de Medida
(s)
Numero Real
+ 2.0 e'
igual
a
Numero Real
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227
A
raiz
quadrada de
Numero Real
e'
igual
a
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3877-3883
Quantidade Fisica
e'
igual
a
Numero Real
NauticalMile
(s)
Quantidade Fisica
e'
igual
a
Numero Real
+ 1.151
Mile
(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantidade Fisica
e'
igual
a
Numero Real
NauticalMile
(s)
Quantidade Fisica
e'
igual
a
Numero Real
+ 1.852 1
mil
Meter
s(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
Joule
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
0.0002778 ?X)
Watt
)))
Economy.kif 2016-2018
Quantidade Fisica
e'
igual
a
Numero Real
Joule
(s)
Quantidade Fisica
e'
igual
a 0.0002778 +
Numero Real
Watt
(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
KilowattHour
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
3600000.0 ?X)
Joule
)))
Economy.kif 2011-2013
Quantidade Fisica
e'
igual
a
Numero Real
KilowattHour
(s)
Quantidade Fisica
e'
igual
a 3600000.0 +
Numero Real
Joule
(s)
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13683-13687
Numero Real
e'
igual
a 1 +
Numero Real
Numero Real
MillenniumDuration
(s) e'
igual
a
Numero Real
+ 1000
YearDuration
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3912-3919
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
NauticalMile
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
NauticalMile
(s) e'
igual
a
Numero Real
+ 1.852 1
mil
Meter
s(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3885-3892
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
NauticalMile
(s) e'
igual
a
Numero Real
+ 1852.0
Meter
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3903-3910
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
NauticalMile
(s) e'
igual
a
Numero Real
+ 6076.1
FootLength
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 625-631
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
SquareKilometer
(s) e'
igual
a
Numero Real
+ 1000000.0
SquareMeter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 19064-19068
Numero Real
e'
igual
a 1 +
Numero Real
Numero Real
CenturyDuration
(s) e'
igual
a
Numero Real
+ 100
YearDuration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8759-8763
Numero Real
e'
igual
a 1 +
Numero Real
Numero Real
DecadeDuration
(s) e'
igual
a
Numero Real
+ 10
YearDuration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3844-3848
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
Fathom
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
LongTon
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
Nanometer
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
RegistryTon
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
TonMass
(s) e'
igual
a
Numero Real
+ 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
Numero Real
e'
igual
a 1.0 +
Numero Real
Numero Real
YardLength
(s) e'
igual
a 3.0 +
Numero Real
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
Objeto
e' uma
instancia
de
Lungo
Objeto
Numero Real
Objeto
e' uma
instancia
de
Espresso
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Liter
(s)
Numero Real
e' uma
instancia
de
Numero Real
a
medida
de
Objeto
e'
Numero Real
+ 2
Liter
(s)
(=>
(
instance
?N
RealNumber
)
(
equal
(
MeasureFn
?N
Horsepower
)
(
MeasureFn
(
MultiplicationFn
?N 746)
Watt
)))
Merge.kif 6902-6906
Numero Real
e' uma
instancia
de
Numero Real
Numero Real
Horsepower
(s) e'
igual
a
Numero Real
+ 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