| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | Funcao de Quantidade e' uma sub-classe de Quantidade Fisica |
| 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 6208-6208 | CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6267-6267 | Medida de Area e' uma sub-classe de Funcao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6278-6278 | Medida de Volume e' uma sub-classe de Funcao de Quantidade |
|
|