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
O argumento numero 1 de
MultiplicationFn
e' uma
instancia
de
Numero Real
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4700-4700
O argumento numero 2 de
MultiplicationFn
e' uma
instancia
de
Numero Real
(
identityElement
MultiplicationFn
1)
Merge.kif 5294-5294
1 e' um
elemento
identificador de
MultiplicationFn
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4695-4695
MultiplicationFn
e' uma
instancia
de
Funcao Associativa
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
MultiplicationFn
e' uma
instancia
de
Funcao Binaria
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4696-4696
MultiplicationFn
e' uma
instancia
de
Funcao Commutativa
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
MultiplicationFn
e' uma
instancia
de
Relacao Total
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4701-4701
O
contra
-dominio de
MultiplicationFn
e' uma instancia de
Numero Real
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
igual
a
Numero Real
+
Numero Real
arableLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(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
Numero Inteiro
e'
igual
a 0 (o
maior
numero inteiro menor or igual a
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Inteiro
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
(=>
(
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Numero Real
e'
igual
a
Numero Real
+
Numero Real
otherLandUseArea
Area Geografica
and
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Numero Real
e'
igual
a
Numero Real
+
Numero Real
permanentCropLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(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
Area Geopolitica
,
IndustryAttribute
,
Numero Real
and
Intervalo Temporal
totalGDPInPeriod
Area Geopolitica
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
igual
a
Numero Real
+
Numero Real
sectorValueOfGDPInPeriod
Area Geopolitica
,
IndustryAttribute
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
(=>
(
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
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
principalAmount
FinancialAccount
and
Numero Real
Unidade de Medida
(s)
Numero Real
-Decimal e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
igual
a
Numero Real
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
Numero Real
and
Intervalo Temporal
(=>
(
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
Mamifero
and
Numero Real
Unidade de Medida
(s)
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Mamifero
Numero Real
2 + 2.0 e'
maior
que
Numero Real
Numero Real
2 e'
menos
que 0.8 +
Numero Real
SevereBloodLoss
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Mamifero
and
Numero Real
Unidade de Medida
(s)
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Mamifero
Numero Real
2 + 2.0 e'
menos
que
Numero Real
CatastrophicBloodLoss
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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)
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
A
medida
de
Fisico
e'
Numero Real
MetricTon
(s) a
medida
de
Fisico
e'
Numero Real
+ 2205.0
PoundMass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s) a
medida
de
Fisico
e' 60.0 +
Numero Real
ArcMinute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
A
medida
de
Fisico
e'
Numero Real
ArcMinute
(s) a
medida
de
Fisico
e' 60.0 +
Numero Real
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
ArableLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
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
Area Geografica
,
BinaryRelationExtendedToQuantities
,
Numero Real positivo
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Area Geografica
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Area Geografica
e'
Numero Real
Unidade de Medida
(s)
BinaryRelationExtendedToQuantities
Numero Real
Unidade de Medida
(s) and
Numero Real positivo
+
Numero Real
Unidade de Medida
(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
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
+ 1.5 tem a
forca
modal
de
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
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
+ .5 tem a
forca
modal
de
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
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
(o
maior
numero inteiro menor or igual a
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Inteiro
(=>
(
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
Numero Real
e'
igual
a
VarianceAverageFn
Numero Real
and
Lista
1 e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a (
Numero Real
+ 1th
elemento
de
Lista
) + (
Numero Real
+ 1th
elemento
de
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
Humano
e' uma
instancia
de
HumanAdult
a
medida
de
Humano
e'
Numero Real
Pounds
(s)
bloodVolume
Humano
and
Numero Real
2
Liter
(s)
Numero Real
2 e'
igual
a
Numero Real
+ 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
Objeto
e' uma
instancia
de
OnePercentMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
igual
a 0.01 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
SemiSkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.015 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.02 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
SkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.005 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
TwoPercentMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
igual
a 0.02 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
WholeMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0325 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.05 +
Numero Real
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
Numero Real
e' uma
instancia
de
Numero Inteiro
Numero Real
e'
igual
a 0
1 e'
igual
a
Numero Real
+ o
reciproco
de
Numero Real
(=>
(
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
Posicao Temporal
e' uma
instancia
de
ElectricalTransformer
WireCoil
e' uma
instancia
de
WireCoil
WireCoil
e' uma
instancia
de
WireCoil
coilCount
WireCoil
and
Numero Inteiro
coilCount
WireCoil
and
Numero Inteiro
a
medida
de
WireCoil
e'
Volt
Numero Real
(s)
vale
durante
Posicao Temporal
a
medida
de
WireCoil
e'
Volt
Numero Real
(s)
vale
durante
Posicao Temporal
Numero Real
e'
igual
a
Numero Real
+
Numero Inteiro
+
Numero Inteiro
(=>
(
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
e' uma
instancia
de
WaterWave
waveHeight
WaterWave
and
Medida de Comprimento
Lista
Area Aquatica
,
Unidade de Medida
and
Numero Real
Medida de Comprimento
e' um
membro
de
Lista
Area Aquatica
e' uma
instancia
de
Area Aquatica
eventLocated
WaterWave
and
Area Aquatica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
WaterWave
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
Area terrestre
Area Geografica
e' uma
instancia
de
ArableLand
Area Geografica
e' uma
instancia
de
PermanentCropLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
PermanentCropLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
possui
Objeto
a
medida
de
Objeto
e'
Numero Real
ShareUnit
(s)
splitFor
StockSplit
,
Numero Inteiro
and
Numero Inteiro
Entidade
e'
igual
a
Numero Real
+
Numero Inteiro
Entidade
e'
igual
a
Entidade
+
Numero Inteiro
a
medida
de
Objeto
e'
Entidade
ShareUnit
(s)
vale
durante imediatemente
apos
tempo
de existencia de
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
Numero Real
Unidade de Medida
(s)
fixedInterestRate
FinancialAccount
and
Numero Real
simpleInterest
FinancialAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
-Decimal e'
igual
a
Numero Real
+ 100
Numero Real
e'
igual
a
Numero Real
+
Numero Real
-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
Objeto
,
Objeto
and
Numero Real
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
o
comprimento
de
Objeto
e'
Numero Real
1
Unidade de Medida
(s) o
comprimento
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
3
Unidade de Medida
(s)
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
Numero Real
e'
igual
a
ArcCosineFn
((
Numero Real
3 +
Numero Real
3 +
Numero Real
1 +
Numero Real
1) +
Numero Real
2 +
Numero Real
2) + 2.0 +
Numero Real
1 +
Numero Real
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
Flat
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
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que 2.0 +
Numero Real
Numero Real
e'
maior
que 2.0 +
Numero Real
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
Numero Real
ArcMinute
(s) e'
igual
a 60.0 +
Numero Real
ArcSecond
(s)
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
Numero Real
AngularDegree
(s) e'
igual
a 60.0 +
Numero Real
ArcMinute
(s)
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7151-7153
Numero Real
Amu
(s) e'
igual
a
Numero Real
+ 1.6605402E-24
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7173-7175
Numero Real
Angstrom
(s) e'
igual
a
Numero Real
+ 1.0E-10
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7367-7369
Numero Real
AngularDegree
(s) e'
igual
a
Numero Real
+
Pi
+ 180.0
Radian
(s)
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7353-7355
Numero Real
BritishThermalUnit
(s) e'
igual
a
Numero Real
+ 1055.05585262
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7425-7427
Numero Real
Byte
(s) e'
igual
a
Numero Real
+ 8
Bit
(s)
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7345-7347
Numero Real
Calorie
(s) e'
igual
a
Numero Real
+ 4.1868
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6780-6782
Numero Real
Centimeter
(s) e'
igual
a
Numero Real
+ 0.01
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7087-7089
Numero Real
DayDuration
(s) e'
igual
a
Numero Real
+ 24
HourDuration
(s)
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7161-7163
Numero Real
ElectronVolt
(s) e'
igual
a
Numero Real
+ 1.60217733E-19
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7405-7407
Numero Real
EuroCent
(s) e'
igual
a
Numero Real
+ 0.01
EuroDollar
(s)
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7186-7188
Numero Real
FootLength
(s) e'
igual
a
Numero Real
+ 0.3048
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7095-7097
Numero Real
HourDuration
(s) e'
igual
a
Numero Real
+ 60
MinuteDuration
(s)
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7193-7195
Numero Real
Inch
(s) e'
igual
a
Numero Real
+ 0.0254
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7435-7437
Numero Real
KiloByte
(s) e'
igual
a
Numero Real
+ 1024
Byte
(s)
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7279-7282
Numero Real
Kilogram
(s) e'
igual
a
Numero Real
+ 1000
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6799-6802
Numero Real
Kilometer
(s) e'
igual
a
Numero Real
+ 1000
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7445-7447
Numero Real
MegaByte
(s) e'
igual
a
Numero Real
+ 1024
KiloByte
(s)
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7097-7100
Numero Real
Micrometer
(s) e'
igual
a
Numero Real
+ 0.0000001
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7200-7202
Numero Real
Mile
(s) e'
igual
a
Numero Real
+ 1609.344
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6789-6792
Numero Real
Millimeter
(s) e'
igual
a
Numero Real
+ 0.001
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7103-7105
Numero Real
MinuteDuration
(s) e'
igual
a
Numero Real
+ 60
SecondDuration
(s)
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7335-7337
Numero Real
PoundForce
(s) e'
igual
a
Numero Real
+ 4.448222
Newton
(s)
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7296-7298
Numero Real
PoundMass
(s) e'
igual
a
Numero Real
+ 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