DivisionFn |
appearance as argument number 1 |
(documentation DivisionFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER1 除 ?NUMBER2 的商。注:当 ?NUMBER1 = 1 时, (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的倒数。也要注意的是当 ?NUMBER2 = 0 时, (DivisionFn ?NUMBER1?NUMBER2) 会是为定义。") | chinese_format.kif 2220-2223 | |
(documentation DivisionFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2. Note that when ?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2. Note too that (DivisionFn ?NUMBER1 ?NUMBER2) is undefined when ?NUMBER2 = 0.") | Merge.kif 4746-4750 | |
(documentation DivisionFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (DivisionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1を ?NUMBER2で除算した結果である。注1:?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) が ?NUMBER2 の逆数である場合がある。 注2:?NUMBER2 = 0 の場合、(DivisionFn ?NUMBER1 ?NUMBER2) は未定義である。") | japanese_format.kif 884-887 | |
(domain DivisionFn 1 RealNumber) | Merge.kif 4742-4742 | 域 部, 1 and RealNumber |
(domain DivisionFn 2 RealNumber) | Merge.kif 4743-4743 | 域 部, 2 and RealNumber |
(identityElement DivisionFn 1) | Merge.kif 5297-5297 | 身份元素 部 and 1 |
(instance DivisionFn BinaryFunction) | Merge.kif 4739-4739 | 例 部 and BinaryFunction |
(instance DivisionFn PartialValuedRelation) | Merge.kif 4741-4741 | 例 部 and PartialValuedRelation |
(range DivisionFn RealNumber) | Merge.kif 4744-4744 | 範圍 部 and RealNumber |
appearance as argument number 2 |
(format ChineseLanguage DivisionFn "%*[/]") | chinese_format.kif 686-686 | |
(format EnglishLanguage DivisionFn "%*[/]") | english_format.kif 688-688 | |
(format FrenchLanguage DivisionFn "%*[/]") | french_format.kif 416-416 | |
(format ItalianLanguage DivisionFn "%*[/]") | relations-it.txt 80-80 | |
(format JapaneseLanguage DivisionFn "%*[/]") | japanese_format.kif 2133-2133 | |
(format PortugueseLanguage DivisionFn "%*[/]") | portuguese_format.kif 368-368 | |
(format cz DivisionFn "%*[/]") | relations-cz.txt 425-425 | |
(format de DivisionFn "%*[/]") | relations-de.txt 893-893 | |
(format hi DivisionFn "%*[/]") | relations-hindi.txt 120-120 | |
(format ro DivisionFn "%*[/]") | relations-ro.kif 438-438 | |
(format sv DivisionFn "%*[/]") | relations-sv.txt 460-460 | |
(format tg DivisionFn "%*[/]") | relations-cb.txt 114-114 | |
(termFormat ChineseLanguage DivisionFn "部") | domainEnglishFormat.kif 19992-19992 | |
(termFormat ChineseLanguage DivisionFn "除法函数") | chinese_format.kif 687-687 | |
(termFormat ChineseTraditionalLanguage DivisionFn "部") | domainEnglishFormat.kif 19991-19991 | |
(termFormat EnglishLanguage DivisionFn "division") | domainEnglishFormat.kif 19990-19990 | |
(termFormat tg DivisionFn "tungkulin ng paghahatihati") | relations-tg.txt 176-176 |
antecedent |
consequent |
statement |