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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CosineFn

Sigma KEE - CosineFn
CosineFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2228-2229
No TPTP formula. May not be expressible in strict first order. Merge.kif 4804-4806
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 892-893
No TPTP formula. May not be expressible in strict first order. Merge.kif 4801-4801 The number 1 argument of cosine is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 4800-4800 Cosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4799-4799 Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order. engineering.kif 141-141
No TPTP formula. May not be expressible in strict first order. engineering.kif 140-140
No TPTP formula. May not be expressible in strict first order. Merge.kif 4802-4802 The range of cosine is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order. english_format.kif 694-694
No TPTP formula. May not be expressible in strict first order. french_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. relations-it.txt 61-61
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2136-2136
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order. relations-de.txt 905-905
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 102-102
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 441-441
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 469-469
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 95-95
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17442-17442
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 693-693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17441-17441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17440-17440
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 139-139

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5239-5245

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5265-5265 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