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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntegerSquareRootFn

Sigma KEE - IntegerSquareRootFn
IntegerSquareRootFn

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


(documentation IntegerSquareRootFn ChineseLanguage "(IntegerSquareRootFn ?NUMBER) 得出 ?NUMBER 平方根的整数。 ") chinese_format.kif 2243-2244
(documentation IntegerSquareRootFn EnglishLanguage "(IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.") Merge.kif 4926-4927
(documentation IntegerSquareRootFn JapaneseLanguage "(IntegerSquareRootFn ?NUMBER) は、 ?NUMBER の整数平方根を返す。") japanese_format.kif 907-908
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4923-4923 Le nombre 1 argument de IntegerSquareRootFn est une instance de nombre r�el
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 4922-4922 IntegerSquareRootFn est une instance de relation partielle
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4921-4921 IntegerSquareRootFn est une instance de function unaire
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4924-4924 Le domaine de IntegerSquareRootFn est une instance de nombre entier non n�gatif

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


(format ChineseLanguage IntegerSquareRootFn "%1 的整数平方根") chinese_format.kif 704-704
(format EnglishLanguage IntegerSquareRootFn "the integer square root of %1") english_format.kif 706-706
(format FrenchLanguage IntegerSquareRootFn "le racine carr� du nombre entier %1") french_format.kif 425-425
(format ItalianLanguage IntegerSquareRootFn "la radice quadrata intera di %1") relations-it.txt 151-151
(format JapaneseLanguage IntegerSquareRootFn "%1 の integer 平方根") japanese_format.kif 2142-2142
(format PortugueseLanguage IntegerSquareRootFn "a raiz quadrada do numero inteiro %1") portuguese_format.kif 377-377
(format de IntegerSquareRootFn "die ganzzahl quadratwurzel von %1") relations-de.txt 917-917
(format hi IntegerSquareRootFn "%1 kaa puurNaaka-vargamuula") relations-hindi.txt 190-190
(format ro IntegerSquareRootFn "rãdãcina pãtratã integer%t{întreagã} a lui %1") relations-ro.kif 447-447
(format sv IntegerSquareRootFn "heltalskvadratroten av %1") relations-sv.txt 476-476
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根") domainEnglishFormat.kif 30349-30349
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根函数") chinese_format.kif 705-705
(termFormat ChineseTraditionalLanguage IntegerSquareRootFn "整數平方根") domainEnglishFormat.kif 30348-30348
(termFormat EnglishLanguage IntegerSquareRootFn "integer square root") domainEnglishFormat.kif 30347-30347


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