| 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