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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SignumFn

Sigma KEE - SignumFn
SignumFn

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


(documentation SignumFn ChineseLanguage "(SignumFn ?NUMBER) 得出 ?NUMBER 的正负符号,这将会是 以下其中的一个值: -1, 1 或 0。") chinese_format.kif 2271-2272
(documentation SignumFn EnglishLanguage "(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0.") Merge.kif 5092-5093
(domain SignumFn 1 RealNumber) Merge.kif 5089-5089
(instance SignumFn TotalValuedRelation) Merge.kif 5088-5088
(instance SignumFn UnaryFunction) Merge.kif 5087-5087
(range SignumFn Integer) Merge.kif 5090-5090

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


(format ChineseLanguage SignumFn "%1 的正或负值") chinese_format.kif 726-726
(format EnglishLanguage SignumFn "the sign of %1") english_format.kif 728-728
(termFormat ChineseLanguage SignumFn "正或负值函数") chinese_format.kif 727-727
(termFormat ChineseLanguage SignumFn "正负号") domainEnglishFormat.kif 53025-53025
(termFormat ChineseTraditionalLanguage SignumFn "正負號") domainEnglishFormat.kif 53024-53024
(termFormat EnglishLanguage SignumFn "signum") domainEnglishFormat.kif 53023-53023

consequent
-------------------------


(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (SignumFn ?NUMBER2)
        (SignumFn ?NUMBER)))
Merge.kif 5034-5042
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal
        (SignumFn ?NUMBER) -1))
Merge.kif 5105-5107
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 5095-5099
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))
Merge.kif 5101-5103


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