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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CeilingFn

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 4690-4691
(domain CeilingFn 1 RealNumber) Merge.kif 4687-4687 domain CeilingFn, 1 and RealNumber
(instance CeilingFn TotalValuedRelation) Merge.kif 4686-4686 instance CeilingFn and TotalValuedRelation
(instance CeilingFn UnaryFunction) Merge.kif 4685-4685 instance CeilingFn and UnaryFunction
(range CeilingFn Integer) Merge.kif 4688-4688 range CeilingFn and 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 692-692
(termFormat ChineseLanguage CeilingFn "天花板") domainEnglishFormat.kif 13635-13635
(termFormat ChineseLanguage CeilingFn "顶整数函数") chinese_format.kif 691-691
(termFormat ChineseTraditionalLanguage CeilingFn "天花板") domainEnglishFormat.kif 13634-13634
(termFormat EnglishLanguage CeilingFn "ceiling") domainEnglishFormat.kif 13633-13633

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 3056-3077


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners