|
|
   PhysicalQuantity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1759-1767 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2028-2043 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 368-378 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | O conceito Quantidade Fisica e' completamente decomposto em Quantidade Constante + Funcao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2025-2025 | Quantidade Fisica e' uma sub-classe de Quantidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6350-6350 | O contra-dominio de MeasureFn e' uma instancia de Quantidade Fisica |
| 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. | FinancialOntology.kif 1644-1644 | PerformanceMeasure e' uma sub-classe de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6198-6198 | Unidade de Medida e' uma sub-classe de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 875-875 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 952-952 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 551-551 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 84-84 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2236-2236 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 503-503 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 118-118 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 572-572 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 85-85 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6630-6630 | O argumento numero 1 de PerFn e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6631-6631 | O argumento numero 2 de PerFn e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6611-6611 | O argumento numero 1 de UnitFn e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2105-2105 | O argumento numero 2 de annualElectricityConsumption e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2149-2149 | O argumento numero 2 de annualElectricityExport e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2195-2195 | O argumento numero 2 de annualElectricityImport e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1973-1973 | O argumento numero 2 de annualElectricityProduction e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7817-7817 | O argumento numero 2 de barometricPressure e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1549-1549 | O argumento numero 2 de carrierFrequency e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10441-10441 | O argumento numero 2 de diastolicBloodPressure e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2779-2779 | O argumento numero 2 de earthAltitude e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2095-2095 | O argumento numero 2 de electricityConsumptionInPeriod e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2138-2138 | O argumento numero 2 de electricityExportInPeriod e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2183-2183 | O argumento numero 2 de electricityImportInPeriod e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1963-1963 | O argumento numero 2 de electricityProductionInPeriod e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 986-986 | O argumento numero 2 de fleetGrossRegisteredTonnage e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 252-252 | O argumento numero 2 de highAltitudeWindVelocity e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2001-2001 | O argumento numero 2 de imageResolution e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1658-1658 | O argumento numero 3 de ingredientAmount e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 215-215 | O argumento numero 2 de lowAltitudeWindSpeed e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 203-203 | O argumento numero 2 de lowAltitudeWindVelocity e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7503-7503 | O argumento numero 2 de measure e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 229-229 | O argumento numero 2 de mediumAltitudeWindVelocity e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2630-2630 | O argumento numero 2 de navigableForShippingTonnage e' uma instancia de Quantidade Fisica |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 829-829 | O argumento numero 2 de resonantFrequency e' uma instancia de Quantidade Fisica |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1784-1788 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13244-13249 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13273-13278 |
|
|
|
|