Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MultiplicationFn
Sigma KEE - MultiplicationFn
MultiplicationFn
appearance as argument number 1
(
documentation
MultiplicationFn
ChineseLanguage
"如果 ?NUMBER1 和 ?NUMBER2 是
Number
,那么 (
MultiplicationFn
?NUMBER1 ?NUMBER2)就是这些数字的算术积。")
chinese_format.kif 2212-2213
(
documentation
MultiplicationFn
EnglishLanguage
"If ?NUMBER1 and ?NUMBER2 are
Number
s, then (
MultiplicationFn
?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.")
Merge.kif 4703-4705
(
documentation
MultiplicationFn
JapaneseLanguage
"?NUMBER1 と ?NUMBER2 が
Number
の場合、 (
MultiplicationFn
?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")
japanese_format.kif 876-877
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4699-4699
Il numero 1 argomenti di
MultiplicationFn
è un
istanza
di
NumeroReale
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4700-4700
Il numero 2 argomenti di
MultiplicationFn
è un
istanza
di
NumeroReale
(
identityElement
MultiplicationFn
1)
Merge.kif 5294-5294
1 è un
elemento
di identità di
MultiplicationFn
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4695-4695
MultiplicationFn
è un'
istanza
di
FunzioneAssociativa
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
MultiplicationFn
è un'
istanza
di
FunzioneBinaria
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4696-4696
MultiplicationFn
è un'
istanza
di
FunzioneCommutativa
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
MultiplicationFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4701-4701
rango
di
MultiplicationFn
è un'istanza di
NumeroReale
appearance as argument number 2
(
format
ChineseLanguage
MultiplicationFn
"%*[*]")
chinese_format.kif 680-680
(
format
EnglishLanguage
MultiplicationFn
"%*[*]")
english_format.kif 682-682
(
format
FrenchLanguage
MultiplicationFn
"%*[*]")
french_format.kif 413-413
(
format
ItalianLanguage
MultiplicationFn
"%*[*]")
relations-it.txt 196-196
(
format
JapaneseLanguage
MultiplicationFn
"%*[*]")
japanese_format.kif 2130-2130
(
format
PortugueseLanguage
MultiplicationFn
"%*[*]")
portuguese_format.kif 365-365
(
format
cz
MultiplicationFn
"%*[*]")
relations-cz.txt 422-422
(
format
de
MultiplicationFn
"%*[*]")
relations-de.txt 887-887
(
format
hi
MultiplicationFn
"%*[*]")
relations-hindi.txt 234-234
(
format
ro
MultiplicationFn
"%*[*]")
relations-ro.kif 435-435
(
format
sv
MultiplicationFn
"%*[*]")
relations-sv.txt 457-457
(
format
tg
MultiplicationFn
"%*[*]")
relations-tg.txt 377-377
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39183-39183
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39182-39182
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39181-39181
(
termFormat
tg
MultiplicationFn
"tungkulin ng pagpaparami")
relations-tg.txt 378-378
antecedent
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5117-5128
NumeroIntero
is
uguale
a 0 (the
il
maggior numero intero minore o uguale a
NumeroIntero
+
NumeroIntero
+
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2165-2176
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2125-2136
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
totalGDPInPeriod
?AREA
(
MeasureFn
?GDPAMOUNT ?CUNIT) ?PERIOD)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?GDPAMOUNT)))
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD))
Economy.kif 1107-1115
sectorCompositionOfGDPInPeriod
AreaGeopolitica
,
IndustryAttribute
,
NumeroReale
and
IntervalloTemporale
totalGDPInPeriod
AreaGeopolitica
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
sectorValueOfGDPInPeriod
AreaGeopolitica
,
IndustryAttribute
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
(=>
(
and
(
simpleInterest
?Account
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
principalAmount
?Account
(
MeasureFn
?Principal ?CUNIT))
(
equal
?Rate-Decimal
(
DivisionFn
?Interest ?Principal))
(
equal
?Rate
(
MultiplicationFn
?Rate-Decimal 100.0)))
(
interestRatePerPeriod
?Account ?Rate ?Period))
FinancialOntology.kif 587-597
simpleInterest
FinancialAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
-Decimal is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
NumeroReale
and
IntervalloTemporale
(=>
(
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
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
pi
ù grande di
NumeroReale
NumeroReale
2 è
meno
di0.8 +
NumeroReale
attribute
Entit�
and
SevereBloodLoss
vales
durante
PosizioneTemporale
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
meno
di
NumeroReale
attribute
Entit�
and
CatastrophicBloodLoss
vales
durante
PosizioneTemporale
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13683-13687
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 19064-19068
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 8759-8763
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 13618-13622
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 19083-19089
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 13668-13672
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 13591-13595
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 19073-19077
NumeroReale
is
uguale
a 1.0 +
NumeroReale
NumeroReale
YardLength
(s is
uguale
a 3.0 +
NumeroReale
FootLength
(s
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
La
misura
Entit�Concreta
è
NumeroReale
MetricTon
(s la
misura
Entit�Concreta
è
NumeroReale
+ 2205.0
PoundMass
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
La
misura
Entit�Concreta
è
NumeroReale
AngularDegree
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcMinute
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
La
misura
Entit�Concreta
è
NumeroReale
ArcMinute
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcSecond
(s
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
Obligation
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669
comparativeArea
AreaGeografica
,
BinaryRelationExtendedToQuantities
,
NumeroRealePositivo
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
AreaGeografica
è
NumeroReale
Unit�DiMisura
(s la
misura
AreaGeografica
è
NumeroReale
Unit�DiMisura
(s
BinaryRelationExtendedToQuantities
NumeroReale
Unit�DiMisura
(s and
NumeroRealePositivo
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
+ 1.5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
meno
di
NumeroReale
+ .5 ha il modello di forza di
Unlikely
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
(the
il
maggior numero intero minore o uguale a
NumeroIntero
+
NumeroIntero
+
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1486-1497
NumeroReale
is
uguale
a
VarianceAverageFn
NumeroReale
and
Lista
1 is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a (
NumeroReale
+ 1th
elemento
di
Lista
+ (
NumeroReale
+ 1th
elemento
di
Lista
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5915-5924
Umano
è un'
istanza
di
HumanAdult
la
misura
Umano
è
NumeroReale
Pounds
(s
bloodVolume
Umano
and
NumeroReale
2
Liter
(s
NumeroReale
2 is
uguale
a
NumeroReale
+ 0.07 + 2.33
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
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))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
Oggetto
è un'
istanza
di
OnePercentMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 is
uguale
a 0.01 +
NumeroReale
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
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.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
Oggetto
è un'
istanza
di
SemiSkimmedMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.015 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.02 +
NumeroReale
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
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.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
Oggetto
è un'
istanza
di
SkimmedMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.0 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.005 +
NumeroReale
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
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))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2945-2962
Oggetto
è un'
istanza
di
TwoPercentMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 is
uguale
a 0.02 +
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
WholeMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.0325 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.05 +
NumeroReale
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
NumeroReale
è un'
istanza
di
NumeroIntero
NumeroReale
is
uguale
a 0
1 is
uguale
a
NumeroReale
+ il
reciproco
di
NumeroReale
(=>
(
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
PosizioneTemporale
è un'
istanza
di
ElectricalTransformer
WireCoil
è un'
istanza
di
WireCoil
WireCoil
è un'
istanza
di
WireCoil
coilCount
WireCoil
and
NumeroIntero
coilCount
WireCoil
and
NumeroIntero
la
misura
WireCoil
è
Volt
NumeroReale
(s vales
durante
PosizioneTemporale
la
misura
WireCoil
è
Volt
NumeroReale
(s vales
durante
PosizioneTemporale
NumeroReale
is
uguale
a
NumeroReale
+
NumeroIntero
+
NumeroIntero
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1532-1547
WaterWave
è un'
istanza
di
WaterWave
waveHeight
WaterWave
and
MisuraDiLunghezza
Lista
SuperficieAcquatica
,
Unit�DiMisura
and
NumeroReale
MisuraDiLunghezza
è un
Lista
SuperficieAcquatica
è un'
istanza
di
SuperficieAcquatica
eventLocated
WaterWave
and
SuperficieAcquatica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
significantWaveHeight
SuperficieAcquatica
, il
tempo
di esistenza di
WaterWave
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a 4.0 +
StandardDeviationFn
Lista
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieTerrestre
AreaGeografica
è un'
istanza
di
ArableLand
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
possiede
es
Oggetto
la
misura
Oggetto
è
NumeroReale
ShareUnit
(s
splitFor
StockSplit
,
NumeroIntero
and
NumeroIntero
Entit�
is
uguale
a
NumeroReale
+
NumeroIntero
Entit�
is
uguale
a
Entit�
+
NumeroIntero
la
misura
Oggetto
è
Entit�
ShareUnit
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
StockSplit
(=>
(
and
(
principalAmount
?Account
(
MeasureFn
?Balance ?CUNIT))
(
fixedInterestRate
?Account ?Rate)
(
simpleInterest
?Account
(
MeasureFn
?Amount ?CUNIT) ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
?Rate 100)))
(
equal
?Amount
(
MultiplicationFn
?Balance ?Rate-Decimal)))
FinancialOntology.kif 538-548
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
fixedInterestRate
FinancialAccount
and
NumeroReale
simpleInterest
FinancialAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
-Decimal is
uguale
a
NumeroReale
+ 100
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
-Decimal
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s la
lunghezza
di
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
3
Unit�DiMisura
(s
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
incontra
Oggetto
NumeroReale
is
uguale
a l'
arcocoseno
di ((
NumeroReale
3 +
NumeroReale
3 +
NumeroReale
1 +
NumeroReale
1 +
NumeroReale
2 +
NumeroReale
2 + 2.0 +
NumeroReale
1 +
NumeroReale
2
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
attribute
OggettoIntegro
and
Flat
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
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
MeasureFn
?DEG
ArcMinute
)
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
))
Geography.kif 402-402
NumeroReale
ArcMinute
(s is
uguale
a 60.0 +
NumeroReale
ArcSecond
(s
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
NumeroReale
AngularDegree
(s is
uguale
a 60.0 +
NumeroReale
ArcMinute
(s
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7151-7153
NumeroReale
Amu
(s is
uguale
a
NumeroReale
+ 1.6605402E-24
Gram
(s
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7173-7175
NumeroReale
Angstrom
(s is
uguale
a
NumeroReale
+ 1.0E-10
Meter
(s
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7367-7369
NumeroReale
AngularDegree
(s is
uguale
a
NumeroReale
+
PiGreco
+ 180.0
Radian
(s
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7353-7355
NumeroReale
BritishThermalUnit
(s is
uguale
a
NumeroReale
+ 1055.05585262
Joule
(s
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7425-7427
NumeroReale
Byte
(s is
uguale
a
NumeroReale
+ 8
Bit
(s
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7345-7347
NumeroReale
Calorie
(s is
uguale
a
NumeroReale
+ 4.1868
Joule
(s
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6780-6782
NumeroReale
Centimeter
(s is
uguale
a
NumeroReale
+ 0.01
Meter
(s
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7087-7089
NumeroReale
DayDuration
(s is
uguale
a
NumeroReale
+ 24
HourDuration
(s
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7161-7163
NumeroReale
ElectronVolt
(s is
uguale
a
NumeroReale
+ 1.60217733E-19
Joule
(s
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7405-7407
NumeroReale
EuroCent
(s is
uguale
a
NumeroReale
+ 0.01
EuroDollar
(s
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7186-7188
NumeroReale
FootLength
(s is
uguale
a
NumeroReale
+ 0.3048
Meter
(s
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7095-7097
NumeroReale
HourDuration
(s is
uguale
a
NumeroReale
+ 60
MinuteDuration
(s
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7193-7195
NumeroReale
Inch
(s is
uguale
a
NumeroReale
+ 0.0254
Meter
(s
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7435-7437
NumeroReale
KiloByte
(s is
uguale
a
NumeroReale
+ 1024
Byte
(s
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7279-7282
NumeroReale
Kilogram
(s is
uguale
a
NumeroReale
+ 1000
Gram
(s
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6799-6802
NumeroReale
Kilometer
(s is
uguale
a
NumeroReale
+ 1000
Meter
(s
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7445-7447
NumeroReale
MegaByte
(s is
uguale
a
NumeroReale
+ 1024
KiloByte
(s
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7097-7100
NumeroReale
Micrometer
(s is
uguale
a
NumeroReale
+ 0.0000001
Meter
(s
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7200-7202
NumeroReale
Mile
(s is
uguale
a
NumeroReale
+ 1609.344
Meter
(s
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6789-6792
NumeroReale
Millimeter
(s is
uguale
a
NumeroReale
+ 0.001
Meter
(s
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7103-7105
NumeroReale
MinuteDuration
(s is
uguale
a
NumeroReale
+ 60
SecondDuration
(s
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7335-7337
NumeroReale
PoundForce
(s is
uguale
a
NumeroReale
+ 4.448222
Newton
(s
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7296-7298
NumeroReale
PoundMass
(s is
uguale
a
NumeroReale
+ 453.59237
Gram
(s
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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