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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4812-4813
(domain SignumFn 1 RealNumber) Merge.kif 4809-4809 domain SignumFn, 1 and RealNumber
(instance SignumFn TotalValuedRelation) Merge.kif 4808-4808 instance SignumFn and TotalValuedRelation
(instance SignumFn UnaryFunction) Merge.kif 4807-4807 instance SignumFn and UnaryFunction
(range SignumFn Integer) Merge.kif 4810-4810 range SignumFn and Integer

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


(format ChineseLanguage SignumFn "%1 的正或负值") chinese_format.kif 726-726
(format EnglishLanguage SignumFn "the sign of %1") english_format.kif 731-731
(termFormat ChineseLanguage SignumFn "正或负值函数") chinese_format.kif 727-727 termFormat ChineseLanguage, SignumFn and "正或负值函数"
(termFormat ChineseLanguage SignumFn "正负号") domainEnglishFormat.kif 52981-52981 termFormat ChineseLanguage, SignumFn and "正负号"
(termFormat ChineseTraditionalLanguage SignumFn "正負號") domainEnglishFormat.kif 52980-52980 termFormat ChineseTraditionalLanguage, SignumFn and "正負號"
(termFormat EnglishLanguage SignumFn "signum") domainEnglishFormat.kif 52979-52979 termFormat EnglishLanguage, SignumFn and "signum"

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


(=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (SignumFn ?NUMBER2)
        (SignumFn ?NUMBER)))
Merge.kif 4766-4768
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal
        (SignumFn ?NUMBER) -1))
Merge.kif 4825-4827
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
        (equal
            (SignumFn ?NUMBER) 1)
        (equal
            (SignumFn ?NUMBER) 0)))
Merge.kif 4815-4819
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))
Merge.kif 4821-4823


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