| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | Mesure d'angle est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6324-6324 | Mesure de l'angle d'une surface est une sous-classe de mesure d'angle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6328-6328 | Mesure de l'angle dun objet en trois dimensions est une sous-classe de mesure d'angle |
|
|