Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 4689-4691
(
documentation
MultiplicationFn
JapaneseLanguage
"?NUMBER1 と ?NUMBER2 が
Number
の場合、 (
MultiplicationFn
?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")
japanese_format.kif 876-877
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4685-4685
Le nombre 1 argument de
MultiplicationFn
est une
instance
de
nombre r�el
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4686-4686
Le nombre 2 argument de
MultiplicationFn
est une
instance
de
nombre r�el
(
identityElement
MultiplicationFn
1)
Merge.kif 5280-5280
1 est un
MultiplicationFn
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4681-4681
MultiplicationFn
est une
instance
de
fonction associative
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4680-4680
MultiplicationFn
est une
instance
de
fonction binaire
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4682-4682
MultiplicationFn
est une
instance
de
function commutative
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4684-4684
MultiplicationFn
est une
instance
de
relation total
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4687-4687
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 39198-39198
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39197-39197
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39196-39196
(
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 2078-2088
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 5103-5114
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 2163-2174
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 2123-2134
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
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13553-13557
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 3838-3845
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 3820-3827
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 3811-3818
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 3829-3836
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 18897-18901
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 8743-8747
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 3770-3774
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 13488-13492
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 18916-18922
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 13538-13542
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 13461-13465
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 18906-18910
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 13475-13481
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 2090-2104
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 13436-13445
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 13447-13456
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 5090-5101
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
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5072-5077
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 2176-2194
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 2136-2150
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 2243-2253
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
(
price
?Stocks
(
MeasureFn
?Number
UnitedStatesDollar
) ?Time)
(
exists
(?Event)
(
and
(
splitFor
?Event ?N1 ?N2)
(
equal
(
WhenFn
?Event) ?TimeOfSplit))))
(
exists
(?N3 ?NewNumber ?TimeAfterSplit)
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N1))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N2))
(
price
?Stocks
(
MeasureFn
?NewNumber
UnitedStatesDollar
) ?TimeAfterSplit)
(
meetsTemporally
?Time ?TimeOfSplit)
(
meetsTemporally
?TimeOfSplit ?TimeAfterSplit))))
FinancialOntology.kif 2255-2268
price
physique
,
nombre r�el
UnitedStatesDollar
(s) and
AutonomousAgent
StockSplit
splitFor
StockSplit
,
nombre entier
and
nombre entier
temps
d'existence de
StockSplit
est
AutonomousAgent
OfSplit
nombre r�el
nombre r�el
and
AutonomousAgent
AfterSplit
nombre r�el
est
nombre r�el
+
nombre entier
nombre r�el
est
nombre r�el
+
nombre entier
price
physique
,
nombre r�el
UnitedStatesDollar
(s) and
AutonomousAgent
AfterSplit
AutonomousAgent
rencontre
AutonomousAgent
OfSplit
AutonomousAgent
OfSplit
rencontre
AutonomousAgent
AfterSplit
(=>
(
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 17791-17816
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
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2775-2788
LongAndThin
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
le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que 3.0 +
nombre r�el
nombre r�el
est
moins
que 3.0 +
nombre r�el
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31243-31251
circumfrence
Circle
and
mesure de longueur
nombre r�el
unit� de mesure
le
diam
�tre de
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 3.14
unit� de mesure
(s) est
mesure de longueur
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7655-7660
Le
diam
�tre de
Circle
est
mesure de longueur
nombre r�el
unit� de mesure
le
radius
de
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 2
unit� de mesure
(s) est
mesure de longueur
(=>
(
equal
(
DiameterFn
?C)
(
MeasureFn
?L ?U))
(
exists
(?R)
(
and
(
equal
(
RadiusFn
?C)
(
MeasureFn
?R ?U))
(
equal
(
MultiplicationFn
?R 2.0) ?L))))
Mid-level-ontology.kif 4919-4924
DiameterFn
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
RadiusFn
Circle
est
nombre r�el
unit� de mesure
(s)
nombre r�el
+ 2.0 est
nombre r�el
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5211-5213
Le
carr
� de
nombre r�el
est
nombre r�el
nombre r�el
+
nombre r�el
est
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 7137-7139
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 7159-7161
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 7353-7355
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 7339-7341
Nombre r�el
BritishThermalUnit
(s) est
nombre r�el
+ 1055.05585262
Joule
(s)
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7411-7413
Nombre r�el
Byte
(s) est
nombre r�el
+ 8
Bit
(s)
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7331-7333
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 6766-6768
Nombre r�el
Centimeter
(s) est
nombre r�el
+ 0.01
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7073-7075
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 7147-7149
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 7391-7393
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 7172-7174
Nombre r�el
FootLength
(s) est
nombre r�el
+ 0.3048
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7081-7083
Nombre r�el
HourDuration
(s) est
nombre r�el
+ 60
MinuteDuration
(s)
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7179-7181
Nombre r�el
Inch
(s) est
nombre r�el
+ 0.0254
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7421-7423
Nombre r�el
KiloByte
(s) est
nombre r�el
+ 1024
Byte
(s)
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7265-7268
Nombre r�el
Kilogram
(s) est
nombre r�el
+ 1000
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6785-6788
Nombre r�el
Kilometer
(s) est
nombre r�el
+ 1000
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7431-7433
Nombre r�el
MegaByte
(s) est
nombre r�el
+ 1024
KiloByte
(s)
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7186-7188
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 6775-6778
Nombre r�el
Millimeter
(s) est
nombre r�el
+ 0.001
Meter
(s)
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7089-7091
Nombre r�el
MinuteDuration
(s) est
nombre r�el
+ 60
SecondDuration
(s)
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7321-7323
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 7282-7284
Nombre r�el
PoundMass
(s) est
nombre r�el
+ 453.59237
Gram
(s)
(
equal
(
MeasureFn
?NUMBER
RankineDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.8)
KelvinDegree
))
Merge.kif 7302-7304
Nombre r�el
RankineDegree
(s) est
nombre r�el
+ 1.8
KelvinDegree
(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