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 馀弦函数 的 1 数量 是 平面角度测量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4800-4800 馀弦函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4799-4799 馀弦函数一元函数instance
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 馀弦函数range实数 的实例

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 ArcCosineFn 实数 的馀弦 equal 那个 实数


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