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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArcTangentFn
ArcTangentFn

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


(documentation ArcTangentFn EnglishLanguage "The inverse of TangentFn.") Merge.kif 5050-5050
(domain ArcTangentFn 1 PlaneAngleMeasure) Merge.kif 5048-5048 domain ArcTangentFn, 1 and PlaneAngleMeasure
(instance ArcTangentFn TotalValuedRelation) Merge.kif 5047-5047 instance ArcTangentFn and TotalValuedRelation
(instance ArcTangentFn UnaryFunction) Merge.kif 5046-5046 instance ArcTangentFn and UnaryFunction
(range ArcTangentFn RealNumber) Merge.kif 5049-5049 range ArcTangentFn and RealNumber

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


(format EnglishLanguage ArcTangentFn "the arctan of %1") Merge.kif 5051-5051
(termFormat EnglishLanguage ArcTangentFn "arctangent") Merge.kif 5052-5052

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


(equal
    (ArcTangentFn
        (TangentFn ?X)) ?X)
Merge.kif 5054-5054 equal ArcTangentFn TangentFn RealNumber and RealNumber


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