| 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 5025-5026 | |
| (documentation NumeratorFn JapaneseLanguage "(NumeratorFn ?NUMBER) は、正規の縮小フォーム ?NUMBER の分子を返す。") | japanese_format.kif 917-918 | |
| (domain NumeratorFn 1 RealNumber) | Merge.kif 5022-5022 | The number 1 argument of numerator is an instance of real number |
| (instance NumeratorFn TotalValuedRelation) | Merge.kif 5021-5021 | Numerator is an instance of total valued relation |
| (instance NumeratorFn UnaryFunction) | Merge.kif 5020-5020 | Numerator is an instance of unary function |
| (range NumeratorFn Integer) | Merge.kif 5023-5023 | The range of numerator is an instance of 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 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 41454-41454 | |
| (termFormat ChineseLanguage NumeratorFn "分子函数") | chinese_format.kif 715-715 | |
| (termFormat ChineseTraditionalLanguage NumeratorFn "分子") | domainEnglishFormat.kif 41453-41453 | |
| (termFormat EnglishLanguage NumeratorFn "numerator") | domainEnglishFormat.kif 41452-41452 |
|
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