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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DenominatorFn

Sigma KEE - DenominatorFn
DenominatorFn

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


(documentation DenominatorFn ChineseLanguage "(DenominatorFn ?NUMBER)得出 RealNumber ?NUMBER 还原规范形式的分母。") Merge.kif 4972-4973
(documentation DenominatorFn EnglishLanguage "(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER.") Merge.kif 4970-4971
(domain DenominatorFn 1 RealNumber) Merge.kif 4968-4968
(instance DenominatorFn TotalValuedRelation) Merge.kif 4967-4967
(instance DenominatorFn UnaryFunction) Merge.kif 4966-4966
(range DenominatorFn Integer) Merge.kif 4969-4969

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


(format ChineseLanguage DenominatorFn "%1 的分母") chinese_format.kif 694-694
(format EnglishLanguage DenominatorFn "the denominator of %1") english_format.kif 431-431
(termFormat ChineseLanguage DenominatorFn "分母函数") chinese_format.kif 695-695
(termFormat EnglishLanguage DenominatorFn "denominator") domainEnglishFormat.kif 3595-3595


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