Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LogFn

 Sigma KEE - LogFn
LogFn

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


(instance LogFn BinaryFunction) Merge.kif 5086-5086 Log is an instance of binary function
(domain LogFn 1 RealNumber) Merge.kif 5087-5087 The number 1 argument of log is an instance of real number
(domain LogFn 2 PositiveInteger) Merge.kif 5088-5088 The number 2 argument of log is an instance of positive integer
(range LogFn RealNumber) Merge.kif 5089-5089 The range of log is an instance of real number
(documentation LogFn EnglishLanguage "(LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT.") Merge.kif 5091-5092 The range of log is an instance of real number

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners