Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CeilingFn
CeilingFn

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 4555-4556
(domain CeilingFn 1 RealNumber) Merge.kif 4552-4552 The number 1 argument of ceiling is an instance of real number
(instance CeilingFn TotalValuedRelation) Merge.kif 4551-4551 Ceiling is an instance of total valued relation
(instance CeilingFn UnaryFunction) Merge.kif 4550-4550 Ceiling is an instance of unary function
(range CeilingFn Integer) Merge.kif 4553-4553 The range of ceiling is an instance of integer

appearance as argument number 2
-------------------------


(format ChineseLanguage CeilingFn "取%1 的顶整数 ") chinese_format.kif 690-690
(format EnglishLanguage CeilingFn "the ceiling of %1") english_format.kif 695-695
(termFormat ChineseLanguage CeilingFn "天花板") domainEnglishFormat.kif 13567-13567
(termFormat ChineseLanguage CeilingFn "顶整数函数") chinese_format.kif 691-691
(termFormat ChineseTraditionalLanguage CeilingFn "天花板") domainEnglishFormat.kif 13566-13566
(termFormat EnglishLanguage CeilingFn "ceiling") domainEnglishFormat.kif 13565-13565

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 3036-3057


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners