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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TangentFn

Sigma KEE - TangentFn
TangentFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2276-2277
No TPTP formula. May not be expressible in strict first order. Merge.kif 5234-5237
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 943-944
No TPTP formula. May not be expressible in strict first order. Merge.kif 5231-5231 The number 1 argument of tangent is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5230-5230 Tangent is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5229-5229 Tangent is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5232-5232 The range of tangent 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 732-732
No TPTP formula. May not be expressible in strict first order. english_format.kif 734-734
No TPTP formula. May not be expressible in strict first order. french_format.kif 439-439
No TPTP formula. May not be expressible in strict first order. relations-it.txt 292-292
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2156-2156
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 391-391
No TPTP formula. May not be expressible in strict first order. relations-de.txt 945-945
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 328-328
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 461-461
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 501-501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56905-56905
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 733-733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56904-56904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56903-56903

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 5255-5255 The arctan of the tangent 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