AdditionFn |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage AdditionFn "(%*[+])") | chinese_format.kif 682-682 | |
(format EnglishLanguage AdditionFn "(%*[+])") | english_format.kif 684-684 | |
(termFormat ChineseLanguage AdditionFn "加成") | domainEnglishFormat.kif 5427-5427 | |
(termFormat ChineseLanguage AdditionFn "加法函数") | chinese_format.kif 683-683 | |
(termFormat ChineseTraditionalLanguage AdditionFn "加成") | domainEnglishFormat.kif 5426-5426 | |
(termFormat EnglishLanguage AdditionFn "addition") | domainEnglishFormat.kif 5425-5425 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))) |
Merge.kif 4624-4625 | Integer equal SuccessorFn Integer and AdditionFn Integer and 1 |
![]() |
![]() |