| 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 4941-4942 | |
| (domain SignumFn 1 RealNumber) | Merge.kif 4938-4938 | domain SignumFn, 1 and RealNumber |
| (instance SignumFn TotalValuedRelation) | Merge.kif 4937-4937 | instance SignumFn and TotalValuedRelation |
| (instance SignumFn UnaryFunction) | Merge.kif 4936-4936 | instance SignumFn and UnaryFunction |
| (range SignumFn Integer) | Merge.kif 4939-4939 | 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 "正负号") | domainEnglishFormat.kif 52960-52960 | |
| (termFormat ChineseTraditionalLanguage SignumFn "正負號") | domainEnglishFormat.kif 52959-52959 | |
| (termFormat EnglishLanguage SignumFn "signum") | domainEnglishFormat.kif 52958-52958 |
| consequent |
|
|
| (=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (SignumFn ?NUMBER2) (SignumFn ?NUMBER))) |
Merge.kif 4895-4897 | |
| (=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 4954-4956 |
|
| (=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0))) |
Merge.kif 4944-4948 |
|
| (=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1)) |
Merge.kif 4950-4952 |
|
|
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 is open source software produced by Articulate Software and its partners