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 5251-5251
No TPTP formula. May not be expressible in strict first order. Merge.kif 5249-5249 O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 5248-5248 ArcTangentFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5247-5247 ArcTangentFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 5250-5250 O contra-dominio de ArcTangentFn e' uma instancia de Numero Real

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5252-5252
No TPTP formula. May not be expressible in strict first order. relations-it.txt 26-26
No TPTP formula. May not be expressible in strict first order. relations-de.txt 901-901
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 70-70
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 466-466
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 60-60
No TPTP formula. May not be expressible in strict first order. Merge.kif 5253-5253
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 69-69

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5255-5255 ArcTangentFn a tangente de Numero Real e' igual a Numero Real


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