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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcTangentFn

Sigma KEE - ArcTangentFn
ArcTangentFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5151-5151
No TPTP formula. May not be expressible in strict first order. Merge.kif 5149-5149 The number 1 argument of arctangent is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5148-5148 Arctangent is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5147-5147 Arctangent is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5150-5150 The range of arctangent is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5152-5152
No TPTP formula. May not be expressible in strict first order. Merge.kif 5153-5153

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5155-5155 The arctan of the tangent of a real number is equal to the real number


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