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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5057-5058
(documentation RationalNumberFn JapaneseLanguage "(RationalNumberFn ?NUMBER) は、?NUMBER の合理的な表現を返す。") japanese_format.kif 923-924
(domain RationalNumberFn 1 Number) Merge.kif 5054-5054 The number 1 argument of rational number is an instance of number
(instance RationalNumberFn UnaryFunction) Merge.kif 5053-5053 Rational number is an instance of unary function
(range RationalNumberFn RationalNumber) Merge.kif 5055-5055 The range of rational number is an instance of rational number

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 48800-48800
(termFormat ChineseLanguage RationalNumberFn "有理数函数") chinese_format.kif 717-717
(termFormat ChineseTraditionalLanguage RationalNumberFn "有理數") domainEnglishFormat.kif 48799-48799
(termFormat EnglishLanguage RationalNumberFn "rational number") domainEnglishFormat.kif 48798-48798


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