Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CeilingFn
CeilingFn

appearance as argument number 1
-------------------------


(instance CeilingFn UnaryFunction) Merge.kif 4893-4893 Ceiling is an instance of unary function
(instance CeilingFn TotalValuedRelation) Merge.kif 4894-4894 Ceiling is an instance of total valued relation
(domain CeilingFn 1 RealNumber) Merge.kif 4895-4895 The number 1 argument of ceiling is an instance of real number
(range CeilingFn Integer) Merge.kif 4896-4896 The range of ceiling is an instance of integer
(documentation CeilingFn EnglishLanguage "(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.") Merge.kif 4898-4899 The range of ceiling is an instance of integer

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


(termFormat EnglishLanguage CeilingFn "ceiling") domainEnglishFormat.kif 13638-13638
(termFormat ChineseTraditionalLanguage CeilingFn "天花板") domainEnglishFormat.kif 13639-13639
(termFormat ChineseLanguage CeilingFn "天花板") domainEnglishFormat.kif 13640-13640
(format EnglishLanguage CeilingFn "the ceiling of %1") english_format.kif 692-692

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 2997-3018 If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U)


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners