No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5161-5161 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5159-5159 |
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 5158-5158 |
Arccosine is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5157-5157 |
Arccosine is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5160-5160 |
The range of arccosine is an instance of real number |