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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcCosineFn

Sigma KEE - ArcCosineFn
ArcCosineFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5247-5247
No TPTP formula. May not be expressible in strict first order. Merge.kif 5245-5245 The number 1 argument of arccosine is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5244-5244 Arccosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5243-5243 Arccosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5246-5246 The range of arccosine is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5248-5248
No TPTP formula. May not be expressible in strict first order. relations-it.txt 24-24
No TPTP formula. May not be expressible in strict first order. relations-de.txt 897-897
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 462-463
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 58-58
No TPTP formula. May not be expressible in strict first order. Merge.kif 5249-5249
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 65-65

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17800-17825

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5251-5251 The arccosine of the cosine 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