TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CeilingFn ChineseLanguage "(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer。")	chinese_format.kif 2226-2227
(documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.")	Merge.kif 4786-4787
(documentation CeilingFn JapaneseLanguage "(CeilingFn ?NUMBER) は、RealNumber ?NUMBER より最大以上以上の最小 Integer を返す。")	japanese_format.kif 890-891
(domain CeilingFn 1 RealNumber)	Merge.kif 4783-4783	CeilingFn の数値 1 引数は実数の instance では %n
(instance CeilingFn TotalValuedRelation)	Merge.kif 4782-4782	CeilingFn は合計値関係の instance では %n
(instance CeilingFn UnaryFunction)	Merge.kif 4781-4781	CeilingFn は 1変数関数の instance では %n
(range CeilingFn Integer)	Merge.kif 4784-4784	CeilingFn の range は整数のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage CeilingFn "取%1 的顶整数 ")	chinese_format.kif 690-690
(format EnglishLanguage CeilingFn "the ceiling of %1")	english_format.kif 692-692
(format FrenchLanguage CeilingFn "le plafond de %1")	french_format.kif 418-418
(format ItalianLanguage CeilingFn "il tetto di %1")	relations-it.txt 43-43
(format JapaneseLanguage CeilingFn "%1 の ceiling")	japanese_format.kif 2135-2135
(format PortugueseLanguage CeilingFn "o teto de %1")	portuguese_format.kif 370-370
(format de CeilingFn "die oberstegrenze von %1")	relations-de.txt 903-903
(format hi CeilingFn "%1 kaa uchchatamaanka")	relations-hindi.txt 85-85
(format ro CeilingFn "ceiling%t{cel mai mic numãr întreg mai mare sau egal} cu %1")	relations-ro.kif 440-440
(format tg CeilingFn "ang kisame sa %1")	relations-cb.txt 77-77
(termFormat ChineseLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13632-13632
(termFormat ChineseLanguage CeilingFn "顶整数函数")	chinese_format.kif 691-691
(termFormat ChineseTraditionalLanguage CeilingFn "天花板")	domainEnglishFormat.kif 13631-13631
(termFormat EnglishLanguage CeilingFn "ceiling")	domainEnglishFormat.kif 13630-13630
(termFormat tg CeilingFn "tungkulin ng kisame")	relations-tg.txt 103-103

antecedent

(=>
    (and
        (equal ?OUT
            (ReverseFn ?IN))
        (equal ?LEN
            (StringLengthFn ?IN))
        (greaterThan ?LEN 1)
        (greaterThan ?N 0)
        (lessThan ?N ?LEN)
        (equal ?PIVOT
            (CeilingFn
                (DivisionFn
                    (SubtractionFn ?LEN 1) 2)))
        (equal ?NEW
            (AdditionFn
                (SubtractionFn ?PIVOT ?N) ?PIVOT))
        (equal ?S
            (SubstringFn ?IN ?N
                (AdditionFn 1 ?N))))
    (equal ?S
        (SubstringFn ?OUT ?NEW
            (AdditionFn 1 ?NEW))))

Media.kif 3068-3089

記号文字列は ReverseFn 記号文字列と equal では %n 非負整数は StringLengthFn 記号文字列と equal では %n 非負整数は 1 より greater では　%n 非負整数は 0 より greater では　%n 非負整数は非負整数より less では %n 整数は ( 非負整数 + 1) + 2 の ceiling と equal では %n 非負整数EW は (( 整数 + 非負整数) + 整数) と equal では %n 記号文字列は SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) と equal では %n
記号文字列は SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW) と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: