| appearance as argument number 1 |
|
| (documentation NumeratorFn ChineseLanguage "(NumeratorFn ?NUMBER)得出 ?NUMBER 还原规范形式 的分子。") | chinese_format.kif 2253-2254 | |
| (documentation NumeratorFn EnglishLanguage "(NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER.") | Merge.kif 4785-4786 | |
| (domain NumeratorFn 1 RealNumber) | Merge.kif 4782-4782 | domain NumeratorFn, 1 and RealNumber |
| (instance NumeratorFn TotalValuedRelation) | Merge.kif 4781-4781 | instance NumeratorFn and TotalValuedRelation |
| (instance NumeratorFn UnaryFunction) | Merge.kif 4780-4780 | instance NumeratorFn and UnaryFunction |
| (range NumeratorFn Integer) | Merge.kif 4783-4783 | range NumeratorFn and Integer |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage NumeratorFn "%1 的分子") | chinese_format.kif 714-714 | |
| (format EnglishLanguage NumeratorFn "the numerator of %1") | english_format.kif 719-719 | |
| (termFormat ChineseLanguage NumeratorFn "分子") | domainEnglishFormat.kif 41335-41335 | |
| (termFormat ChineseLanguage NumeratorFn "分子函数") | chinese_format.kif 715-715 | |
| (termFormat ChineseTraditionalLanguage NumeratorFn "分子") | domainEnglishFormat.kif 41334-41334 | |
| (termFormat EnglishLanguage NumeratorFn "numerator") | domainEnglishFormat.kif 41333-41333 |
|
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