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 4683-4684
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4680-4680 The number 1 argument of integer square root is an instance of real number
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 4679-4679 Integer square root is an instance of partial valued relation
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4678-4678 Integer square root is an instance of unary function
(range IntegerSquareRootFn NonnegativeInteger) Merge.kif 4681-4681 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 30247-30247
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根函数") chinese_format.kif 705-705
(termFormat ChineseTraditionalLanguage IntegerSquareRootFn "整數平方根") domainEnglishFormat.kif 30246-30246
(termFormat EnglishLanguage IntegerSquareRootFn "integer square root") domainEnglishFormat.kif 30245-30245


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners