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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4927-4928
(documentation IntegerSquareRootFn JapaneseLanguage "(IntegerSquareRootFn ?NUMBER) は、 ?NUMBER の整数平方根を返す。") japanese_format.kif 907-908
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4924-4924
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 4923-4923
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4922-4922
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4925-4925

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 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