Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RationalNumberFn

Sigma KEE - RationalNumberFn
RationalNumberFn

appearance as argument number 1
-------------------------


(documentation RationalNumberFn ChineseLanguage "(RationalNumberFn ?NUMBER)得出 ?NUMBER 的比值。") chinese_format.kif 2259-2260
(documentation RationalNumberFn EnglishLanguage "(RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.") Merge.kif 5058-5059
(documentation RationalNumberFn JapaneseLanguage "(RationalNumberFn ?NUMBER) は、?NUMBER の合理的な表現を返す。") japanese_format.kif 923-924
(domain RationalNumberFn 1 Number) Merge.kif 5055-5055 Le nombre 1 argument de RationalNumberFn est une instance de nombre
(instance RationalNumberFn UnaryFunction) Merge.kif 5054-5054 RationalNumberFn est une instance de function unaire
(range RationalNumberFn RationalNumber) Merge.kif 5056-5056 Le domaine de RationalNumberFn est une instance de nombre rationnel

appearance as argument number 2
-------------------------


(format ChineseLanguage RationalNumberFn "%1 的有理数") chinese_format.kif 716-716
(format EnglishLanguage RationalNumberFn "the rationalRepresentation of %1") english_format.kif 718-718
(format FrenchLanguage RationalNumberFn "la repr�sentation rationelle de %1") french_format.kif 431-431
(format ItalianLanguage RationalNumberFn "la rappresentazione razionale di %1") relations-it.txt 241-241
(format JapaneseLanguage RationalNumberFn "%1の rationalRepresentation") japanese_format.kif 2148-2148
(format PortugueseLanguage RationalNumberFn "a forma racional de %1") portuguese_format.kif 383-383
(format de RationalNumberFn "die rationale Darstellung von %1") relations-de.txt 929-929
(format hi RationalNumberFn "%1 kaa parimeya niruupaNa") relations-hindi.txt 279-279
(format ro RationalNumberFn "reprezentarea rational%t{raþionalã} a lui %1") relations-ro.kif 453-453
(format sv RationalNumberFn "den rationella representationen av %1") relations-sv.txt 488-488
(termFormat ChineseLanguage RationalNumberFn "有理数") domainEnglishFormat.kif 48802-48802
(termFormat ChineseLanguage RationalNumberFn "有理数函数") chinese_format.kif 717-717
(termFormat ChineseTraditionalLanguage RationalNumberFn "有理數") domainEnglishFormat.kif 48801-48801
(termFormat EnglishLanguage RationalNumberFn "rational number") domainEnglishFormat.kif 48800-48800


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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