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 4724-4725
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4721-4721 The number 1 argument of integer square root is an instance of real number
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 4720-4720 Integer square root is an instance of partial valued relation
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4719-4719 Integer square root is an instance of unary function
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4722-4722 The range of integer square root is an instance of nonnegative integer

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


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