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
Le nombre 1 argument de
MultiplicationFn
est une
instance
de
nombre r�el
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4700-4700
Le nombre 2 argument de
MultiplicationFn
est une
instance
de
nombre r�el
(
identityElement
MultiplicationFn
1)
Merge.kif 5294-5294
1 est un
MultiplicationFn
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4695-4695
MultiplicationFn
est une
instance
de
fonction associative
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
MultiplicationFn
est une
instance
de
fonction binaire
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4696-4696
MultiplicationFn
est une
instance
de
function commutative
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
MultiplicationFn
est une
instance
de
relation total
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4701-4701
Le
domaine
de
MultiplicationFn
est une instance de
nombre r�el
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 39195-39195
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39194-39194
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39193-39193
(
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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
nombre r�el
+
nombre r�el
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
Nombre entier
est
plus
grand
nombre entier inf�rieur ou �gal �
nombre entier
+
nombre entier
+
nombre entier
+
nombre entier
) est
nombre entier
nombre entier
reste
nombre entier
est
nombre entier
(=>
(
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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
permanentCropLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
and
interval temporel
totalGDPInPeriod
secteur g�opolitique
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
sectorValueOfGDPInPeriod
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
unit� de mesure
(s) and
interval temporel
(=>
(
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
,
nombre r�el
unit� de mesure
(s) and
interval temporel
principalAmount
FinancialAccount
and
nombre r�el
unit� de mesure
(s)
nombre r�el
-Decimal est
nombre r�el
+
nombre r�el
nombre r�el
est
nombre r�el
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
nombre r�el
and
interval temporel
(=>
(
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
mammif�re
and
nombre r�el
unit� de mesure
(s)
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
entit�
est une
instance
de
mammif�re
nombre r�el
2 + 2.0 est
plus
grand
que
nombre r�el
nombre r�el
2 est
moins
que 0.8 +
nombre r�el
SevereBloodLoss
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
mammif�re
and
nombre r�el
unit� de mesure
(s)
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
entit�
est une
instance
de
mammif�re
nombre r�el
2 + 2.0 est
moins
que
nombre r�el
CatastrophicBloodLoss
est un
attribut
de
entit�
pendant
position temporel
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13655-13659
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 19013-19017
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 13590-13594
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 19032-19038
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 13640-13644
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 13563-13567
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 19022-19026
Nombre r�el
est
nombre r�el
nombre r�el
YardLength
(s) est
nombre r�el
FootLength
(s)
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13577-13583
La
mesure
de
physique
est
nombre r�el
MetricTon
(s) la
mesure
de
physique
est
nombre r�el
+ 2205.0
PoundMass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
La
mesure
de
physique
est
nombre r�el
AngularDegree
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
ArcMinute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
La
mesure
de
physique
est
nombre r�el
ArcMinute
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
ArableLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(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
est un
attribut
de
AutonomousAgent
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Zakat
entit�
est une
instance
de
ann�e
entit�
prend place
pendant
temps
d'existence de
AutonomousAgent
FullyFormed
est un
attribut
de
AutonomousAgent
pendant
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfCurrency
entit�
est
plus
grand
que
mesure de devise
+ 0.025 a la
force
modale
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
secteur g�ographique
,
BinaryRelationExtendedToQuantities
,
nombre r�el positif
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s)
BinaryRelationExtendedToQuantities
nombre r�el
unit� de mesure
(s) and
nombre r�el positif
+
nombre r�el
unit� de mesure
(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 13538-13547
defaultMeasure
objet
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
l'argument
entit�
nombre r�el
UANTITY
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
unit� de mesure
(s)
nombre r�el
UANTITY est
plus
grand
que
nombre r�el
+ 1.5 a la
force
modale
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 13549-13558
defaultMeasure
objet
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
l'argument
entit�
nombre r�el
UANTITY
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
unit� de mesure
(s)
nombre r�el
UANTITY est
moins
que
nombre r�el
+ .5 a la
force
modale
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
Nombre entier
reste
nombre entier
est
nombre entier
nombre entier
est
plus
grand
nombre entier inf�rieur ou �gal �
nombre entier
+
nombre entier
+
nombre entier
+
nombre entier
) est
nombre entier
(=>
(
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
Nombre r�el
est
VarianceAverageFn
nombre r�el
and
liste
1 est
longueur
de
liste
nombre r�el
est
nombre r�el
+ 1th
liste
) + (
nombre r�el
+ 1th
liste
)
(=>
(
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
Humain
est une
instance
de
HumanAdult
la
mesure
de
humain
est
nombre r�el
Pounds
(s)
bloodVolume
humain
and
nombre r�el
2
Liter
(s)
nombre r�el
2 est
nombre r�el
+ 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
Objet
est une
instance
de
OnePercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
(=>
(
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
Objet
est une
instance
de
SemiSkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.015 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.02 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
SkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.005 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
TwoPercentMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
nombre r�el
(=>
(
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
Objet
est une
instance
de
WholeMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0325 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.05 +
nombre r�el
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
Nombre r�el
est une
instance
de
nombre entier
nombre r�el
est
nombre r�el
+ le
reciproque
de
nombre r�el
(=>
(
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
Position temporel
est une
instance
de
ElectricalTransformer
WireCoil
est une
instance
de
WireCoil
WireCoil
est une
instance
de
WireCoil
coilCount
WireCoil
and
nombre entier
coilCount
WireCoil
and
nombre entier
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
la
mesure
de
WireCoil
est
Volt
nombre r�el
(s)
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre entier
+
nombre entier
(=>
(
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
est une
instance
de
WaterWave
waveHeight
WaterWave
and
mesure de longueur
liste
plan d'eau
,
unit� de mesure
and
nombre r�el
mesure de longueur
est un
membre
de
liste
plan d'eau
est une
instance
de
plan d'eau
eventLocated
WaterWave
and
plan d'eau
unit� de mesure
est une
instance
de
UnitOfLength
significantWaveHeight
plan d'eau
,
temps
d'existence de
WaterWave
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
StandardDeviationFn
liste
(=>
(
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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
zone de terre
secteur g�ographique
est une
instance
de
ArableLand
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(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
poss
�de
objet
la
mesure
de
objet
est
nombre r�el
ShareUnit
(s)
splitFor
StockSplit
,
nombre entier
and
nombre entier
entit�
est
nombre r�el
+
nombre entier
entit�
est
entit�
+
nombre entier
la
mesure
de
objet
est
entit�
ShareUnit
(s)
pendant
immediatement
apr
�s
temps
d'existence 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
nombre r�el
unit� de mesure
(s)
fixedInterestRate
FinancialAccount
and
nombre r�el
simpleInterest
FinancialAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
-Decimal est
nombre r�el
+ 100
nombre r�el
est
nombre r�el
+
nombre r�el
-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 17876-17901
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
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 2754-2767
Flat
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
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
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
Nombre r�el
ArcMinute
(s) est
nombre r�el
ArcSecond
(s)
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
Nombre r�el
AngularDegree
(s) est
nombre r�el
ArcMinute
(s)
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7151-7153
Nombre r�el
Amu
(s) est
nombre r�el
+ 1.6605402E-24
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7173-7175
Nombre r�el
Angstrom
(s) est
nombre r�el
+ 1.0E-10
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7367-7369
Nombre r�el
AngularDegree
(s) est
nombre r�el
+
pi
+ 180.0
Radian
(s)
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7353-7355
Nombre r�el
BritishThermalUnit
(s) est
nombre r�el
+ 1055.05585262
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7425-7427
Nombre r�el
Byte
(s) est
nombre r�el
+ 8
Bit
(s)
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7345-7347
Nombre r�el
Calorie
(s) est
nombre r�el
+ 4.1868
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6780-6782
Nombre r�el
Centimeter
(s) est
nombre r�el
+ 0.01
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7087-7089
Nombre r�el
DayDuration
(s) est
nombre r�el
+ 24
HourDuration
(s)
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7161-7163
Nombre r�el
ElectronVolt
(s) est
nombre r�el
+ 1.60217733E-19
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7405-7407
Nombre r�el
EuroCent
(s) est
nombre r�el
+ 0.01
EuroDollar
(s)
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7186-7188
Nombre r�el
FootLength
(s) est
nombre r�el
+ 0.3048
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7095-7097
Nombre r�el
HourDuration
(s) est
nombre r�el
+ 60
MinuteDuration
(s)
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7193-7195
Nombre r�el
Inch
(s) est
nombre r�el
+ 0.0254
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7435-7437
Nombre r�el
KiloByte
(s) est
nombre r�el
+ 1024
Byte
(s)
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7279-7282
Nombre r�el
Kilogram
(s) est
nombre r�el
+ 1000
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6799-6802
Nombre r�el
Kilometer
(s) est
nombre r�el
+ 1000
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7445-7447
Nombre r�el
MegaByte
(s) est
nombre r�el
+ 1024
KiloByte
(s)
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7075-7078
Nombre r�el
Micrometer
(s) est
nombre r�el
+ 0.0000001
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7200-7202
Nombre r�el
Mile
(s) est
nombre r�el
+ 1609.344
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6789-6792
Nombre r�el
Millimeter
(s) est
nombre r�el
+ 0.001
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7103-7105
Nombre r�el
MinuteDuration
(s) est
nombre r�el
+ 60
SecondDuration
(s)
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7335-7337
Nombre r�el
PoundForce
(s) est
nombre r�el
+ 4.448222
Newton
(s)
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7296-7298
Nombre r�el
PoundMass
(s) est
nombre r�el
+ 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