| 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 5067-5068 | |
| (documentation NumeratorFn JapaneseLanguage "(NumeratorFn ?NUMBER) は、正規の縮小フォーム ?NUMBER の分子を返す。") | japanese_format.kif 917-918 | |
| (domain NumeratorFn 1 RealNumber) | Merge.kif 5064-5064 | NumeratorFn の数値 1 引数は 実数 の instance では |
| (instance NumeratorFn TotalValuedRelation) | Merge.kif 5063-5063 | NumeratorFn は 合計値関係 の instance では |
| (instance NumeratorFn UnaryFunction) | Merge.kif 5062-5062 | NumeratorFn は 1変数関数 の instance では |
| (range NumeratorFn Integer) | Merge.kif 5065-5065 | NumeratorFn の range は 整数 のインスタンス では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage NumeratorFn "%1 的分子") | chinese_format.kif 714-714 | |
| (format EnglishLanguage NumeratorFn "the numerator of %1") | english_format.kif 716-716 | |
| (format FrenchLanguage NumeratorFn "le numerateur de %1") | french_format.kif 430-430 | |
| (format ItalianLanguage NumeratorFn "il numeratore di %1") | relations-it.txt 201-201 | |
| (format JapaneseLanguage NumeratorFn "%1の numerator") | japanese_format.kif 2147-2147 | |
| (format PortugueseLanguage NumeratorFn "o numerador de %1") | portuguese_format.kif 382-382 | |
| (format de NumeratorFn "der zaehler von %1") | relations-de.txt 927-927 | |
| (format hi NumeratorFn "%1 kaa ansha") | relations-hindi.txt 239-239 | |
| (format ro NumeratorFn "numerator%t{numãrãtorul} fracþiei %1") | relations-ro.kif 452-452 | |
| (format sv NumeratorFn "täljaren av %1") | relations-sv.txt 487-487 | |
| (termFormat ChineseLanguage NumeratorFn "分子") | domainEnglishFormat.kif 41447-41447 | |
| (termFormat ChineseLanguage NumeratorFn "分子函数") | chinese_format.kif 715-715 | |
| (termFormat ChineseTraditionalLanguage NumeratorFn "分子") | domainEnglishFormat.kif 41446-41446 | |
| (termFormat EnglishLanguage NumeratorFn "numerator") | domainEnglishFormat.kif 41445-41445 | |
| (termFormat de NumeratorFn "ZaehlerFn") | terms-de.txt 282-282 |
|
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