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 4861-4862
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4858-4858
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 4857-4857
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4856-4856
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4859-4859

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
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根") domainEnglishFormat.kif 30335-30335
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根函数") chinese_format.kif 705-705
(termFormat ChineseTraditionalLanguage IntegerSquareRootFn "整數平方根") domainEnglishFormat.kif 30334-30334
(termFormat EnglishLanguage IntegerSquareRootFn "integer square root") domainEnglishFormat.kif 30333-30333


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