| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2025-2025 | Quantidade Fisica e' uma sub-classe de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | Quantidade Constante e' uma sub-classe de Quantidade Fisica |
| 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 6199-6199 | Unidade de Medida e' uma sub-classe de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1644-1644 | PerformanceMeasure e' uma sub-classe de Quantidade Fisica |
|
|