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
attribute
OggettoIntegro
and
LongAndThin
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di3.0 +
NumeroReale
NumeroReale
è
meno
di3.0 +
NumeroReale
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31131-31139
circumfrence
Oggetto
and
MisuraDiLunghezza
NumeroReale
Unit�DiMisura
il
diametro
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
+ 3.14
Unit�DiMisura
(s is
uguale
a
MisuraDiLunghezza
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7687-7692
Il
diametro
di
Oggetto
è
MisuraDiLunghezza
NumeroReale
Unit�DiMisura
radius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
+ 2
Unit�DiMisura
(s is
uguale
a
MisuraDiLunghezza
(=>
(
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 4941-4946
DiameterFn
Oggetto
is
uguale
a
NumeroReale
Unit�DiMisura
(s
NumeroReale
RadiusFn
Oggetto
is
uguale
a
NumeroReale
Unit�DiMisura
(s
NumeroReale
+ 2.0 is
uguale
a
NumeroReale
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227
La
radice
quadrata di
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3877-3883
Quantit�Fisica
is
uguale
a
NumeroReale
NauticalMile
(s
Quantit�Fisica
is
uguale
a
NumeroReale
+ 1.151
Mile
(s
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
Quantit�Fisica
is
uguale
a
NumeroReale
NauticalMile
(s
Quantit�Fisica
is
uguale
a
NumeroReale
+ 1.852 1
mille
Meter
s(s
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
Joule
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
0.0002778 ?X)
Watt
)))
Economy.kif 2016-2018
Quantit�Fisica
is
uguale
a
NumeroReale
Joule
(s
Quantit�Fisica
is
uguale
a 0.0002778 +
NumeroReale
Watt
(s
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
KilowattHour
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
3600000.0 ?X)
Joule
)))
Economy.kif 2011-2013
Quantit�Fisica
is
uguale
a
NumeroReale
KilowattHour
(s
Quantit�Fisica
is
uguale
a 3600000.0 +
NumeroReale
Joule
(s
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13682-13686
NumeroReale
is
uguale
a 1 +
NumeroReale
NumeroReale
MillenniumDuration
(s is
uguale
a
NumeroReale
+ 1000
YearDuration
(s
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3912-3919
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
NauticalMile
(s is
uguale
a
NumeroReale
+ 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
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
NauticalMile
(s is
uguale
a
NumeroReale
+ 1.852 1
mille
Meter
s(s
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3885-3892
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
NauticalMile
(s is
uguale
a
NumeroReale
+ 1852.0
Meter
(s
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3903-3910
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
NauticalMile
(s is
uguale
a
NumeroReale
+ 6076.1
FootLength
(s
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 625-631
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
SquareKilometer
(s is
uguale
a
NumeroReale
+ 1000000.0
SquareMeter
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 19063-19067
NumeroReale
is
uguale
a 1 +
NumeroReale
NumeroReale
CenturyDuration
(s is
uguale
a
NumeroReale
+ 100
YearDuration
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8781-8785
NumeroReale
is
uguale
a 1 +
NumeroReale
NumeroReale
DecadeDuration
(s is
uguale
a
NumeroReale
+ 10
YearDuration
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3844-3848
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
Fathom
(s is
uguale
a
NumeroReale
+ 6.0
FootLength
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13617-13621
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
LongTon
(s is
uguale
a
NumeroReale
+ 2240.0
PoundMass
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 19082-19088
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
Nanometer
(s is
uguale
a
NumeroReale
+ 0.000000001
Meter
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13667-13671
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
RegistryTon
(s is
uguale
a
NumeroReale
+ 100.0
CubicFoot
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13590-13594
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
TonMass
(s is
uguale
a
NumeroReale
+ 2205.0
PoundMass
(s
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 19072-19076
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
YardLength
(s is
uguale
a 3.0 +
NumeroReale
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
Oggetto
è un'
istanza
di
Lungo
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Espresso
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
Liter
(s
NumeroReale
è un'
istanza
di
NumeroReale
la
misura
Oggetto
è
NumeroReale
+ 2
Liter
(s
(=>
(
instance
?N
RealNumber
)
(
equal
(
MeasureFn
?N
Horsepower
)
(
MeasureFn
(
MultiplicationFn
?N 746)
Watt
)))
Merge.kif 6902-6906
NumeroReale
è un'
istanza
di
NumeroReale
NumeroReale
Horsepower
(s is
uguale
a
NumeroReale
+ 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