SubtractionFn |
appearance as argument number 1 |
(documentation SubtractionFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (SubtractionFn ?NUMBER1 ?NUMBER2) 就是 ?NUMBER1 和 ?NUMBER2 的算术差,即使 ?NUMBER1 减 ?NUMBER2,除了在 ?NUMBER1 等于0时,那么(SubtractionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的负数。") | chinese_format.kif 2216-2219 | |
(documentation SubtractionFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2. An exception occurs when ?NUMBER1 is equal to 0, in which case (SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2.") | Merge.kif 4730-4734 | |
(documentation SubtractionFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (SubtractionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1 と ?NUMBER2 の算術差です。すなわち、?NUMBER1 マイナス ?NUMBER2。 例外は、?NUMBER1 が 0 に等しい場合に発生し、その場合 (SubtractionFn ?NUMBER1 ?NUMBER2) は ?NUMBER2の否定である。") | japanese_format.kif 880-883 | |
(domain SubtractionFn 1 RealNumber) | Merge.kif 4726-4726 | 域 減法, 1 and RealNumber |
(domain SubtractionFn 2 RealNumber) | Merge.kif 4727-4727 | 域 減法, 2 and RealNumber |
(identityElement SubtractionFn 0) | Merge.kif 5296-5296 | 身份元素 減法 and 0 |
(instance SubtractionFn BinaryFunction) | Merge.kif 4723-4723 | 例 減法 and BinaryFunction |
(instance SubtractionFn TotalValuedRelation) | Merge.kif 4725-4725 | 例 減法 and TotalValuedRelation |
(range SubtractionFn RealNumber) | Merge.kif 4728-4728 | 範圍 減法 and RealNumber |
appearance as argument number 2 |
(format ChineseLanguage SubtractionFn "(%*[-])") | chinese_format.kif 684-684 | |
(format EnglishLanguage SubtractionFn "(%*[-])") | english_format.kif 686-686 | |
(format FrenchLanguage SubtractionFn "(%*[-])") | french_format.kif 415-415 | |
(format ItalianLanguage SubtractionFn "(%*[-]") | relations-it.txt 285-285 | |
(format JapaneseLanguage SubtractionFn "(%*[-])") | japanese_format.kif 2132-2132 | |
(format PortugueseLanguage SubtractionFn "(%*[-])") | portuguese_format.kif 367-367 | |
(format cz SubtractionFn "(%*[-])") | relations-cz.txt 424-424 | |
(format de SubtractionFn "(%*[-])") | relations-de.txt 891-891 | |
(format hi SubtractionFn "(%*[-]") | relations-hindi.txt 322-322 | |
(format ro SubtractionFn "(%*[-])") | relations-ro.kif 437-437 | |
(format sv SubtractionFn "(%*[-])") | relations-sv.txt 459-459 | |
(format tg SubtractionFn "(%*[-]") | relations-tg.txt 477-477 | |
(termFormat ChineseLanguage SubtractionFn "减法") | domainEnglishFormat.kif 55854-55854 | |
(termFormat ChineseLanguage SubtractionFn "减法函数") | chinese_format.kif 685-685 | |
(termFormat ChineseTraditionalLanguage SubtractionFn "減法") | domainEnglishFormat.kif 55853-55853 | |
(termFormat EnglishLanguage SubtractionFn "subtraction") | domainEnglishFormat.kif 55852-55852 |
antecedent |
consequent |
statement |