| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2112-2112 | Funcao de Quantidade Unaria e' uma sub-classe de Funcao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2120-2120 | Quantidade Dependente do Tempo e' uma sub-classe de Funcao de Quantidade Unaria |
|
|