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 Numbers, 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 | Die Zahl 1 Argument von MultiplicationFn ist ein fall von RealNumber %n{nicht} |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4700-4700 | Die Zahl 2 Argument von MultiplicationFn ist ein fall von RealNumber %n{nicht} |
(identityElement MultiplicationFn 1) | Merge.kif 5294-5294 | 1 ist ein identitaetsElement von MultiplicationFn |
(instance MultiplicationFn AssociativeFunction) | Merge.kif 4695-4695 | MultiplicationFn ist ein fall von AssociativeFunction %n{nicht} |
(instance MultiplicationFn BinaryFunction) | Merge.kif 4694-4694 | MultiplicationFn ist ein fall von BinaryFunction %n{nicht} |
(instance MultiplicationFn CommutativeFunction) | Merge.kif 4696-4696 | MultiplicationFn ist ein fall von CommutativeFunction %n{nicht} |
(instance MultiplicationFn TotalValuedRelation) | Merge.kif 4698-4698 | MultiplicationFn ist ein fall von TotalValuedRelation %n{nicht} |
(range MultiplicationFn RealNumber) | Merge.kif 4701-4701 | bildbereich von MultiplicationFn ist ein fall von RealNumber {nicht} |
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 |
consequent |
statement |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | RealNumber ArcMinute(s) ist gleich 60.0 und ** RealNumber ArcSecond(s) %n{nicht} |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | RealNumber AngularDegree(s) ist gleich 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram)) |
Merge.kif 7151-7153 | RealNumber Amu(s) ist gleich ** RealNumber und 1.6605402E-24 Gram(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter)) |
Merge.kif 7173-7175 | RealNumber Angstrom(s) ist gleich ** RealNumber und 1.0E-10 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7367-7369 | RealNumber AngularDegree(s) ist gleich ** RealNumber und Pi und 180.0 Radian(s) %n{nicht} |
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7353-7355 | RealNumber BritishThermalUnit(s) ist gleich ** RealNumber und 1055.05585262 Joule(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7425-7427 | RealNumber Byte(s) ist gleich ** RealNumber und 8 Bit(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7345-7347 | RealNumber Calorie(s) ist gleich ** RealNumber und 4.1868 Joule(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6780-6782 | RealNumber Centimeter(s) ist gleich ** RealNumber und 0.01 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | RealNumber DayDuration(s) ist gleich ** RealNumber und 24 HourDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7161-7163 | RealNumber ElectronVolt(s) ist gleich ** RealNumber und 1.60217733E-19 Joule(s) %n{nicht} |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7405-7407 | RealNumber EuroCent(s) ist gleich ** RealNumber und 0.01 EuroDollar(s) %n{nicht} |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | RealNumber FootLength(s) ist gleich ** RealNumber und 0.3048 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | RealNumber HourDuration(s) ist gleich ** RealNumber und 60 MinuteDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7193-7195 | RealNumber Inch(s) ist gleich ** RealNumber und 0.0254 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7435-7437 | RealNumber KiloByte(s) ist gleich ** RealNumber und 1024 Byte(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7279-7282 | RealNumber Kilogram(s) ist gleich ** RealNumber und 1000 Gram(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6799-6802 | RealNumber Kilometer(s) ist gleich ** RealNumber und 1000 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7445-7447 | RealNumber MegaByte(s) ist gleich ** RealNumber und 1024 KiloByte(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter)) |
Geography.kif 7097-7100 | RealNumber Micrometer(s) ist gleich ** RealNumber und 0.0000001 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | RealNumber Mile(s) ist gleich ** RealNumber und 1609.344 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6789-6792 | RealNumber Millimeter(s) ist gleich ** RealNumber und 0.001 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 | RealNumber MinuteDuration(s) ist gleich ** RealNumber und 60 SecondDuration(s) %n{nicht} |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7335-7337 | RealNumber PoundForce(s) ist gleich ** RealNumber und 4.448222 Newton(s) %n{nicht} |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7296-7298 | RealNumber PoundMass(s) ist gleich ** RealNumber und 453.59237 Gram(s) %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |