streamOutfall
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1790-1796 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2102-2110 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 406-411 | |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 813-813 | McgPerKg e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1682-1682 | MilesPerHour e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | O contra-dominio de AccelerationFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6648-6648 | O contra-dominio de DensityFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2203-2203 | O contra-dominio de Mean10MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2308-2308 | O contra-dominio de Mean1MinuteWindSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2273-2273 | O contra-dominio de Mean2MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2238-2238 | O contra-dominio de Mean3MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1884-1884 | O contra-dominio de Mean3SecondWindSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6634-6634 | O contra-dominio de PerFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2088-2088 | O contra-dominio de RotationFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6660-6660 | O contra-dominio de SpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2018-2018 | O contra-dominio de ThreeSecondGustSpeedFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6673-6673 | O contra-dominio de VelocityFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6268-6268 | Medida de Area e' uma sub-classe de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6209-6209 | CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade |
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 6279-6279 | Medida de Volume e' uma sub-classe de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 882-882 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 966-966 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 558-558 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 91-91 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2243-2243 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1274-1274 | O argumento numero 1 de AccelerationFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1054-1054 | O argumento numero 2 de bandwidth e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 502-502 | O argumento numero 2 de contractedRentalPrice e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | O argumento numero 2 de effectiveDose e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2542-2542 | O argumento numero 2 de engineIdleSpeed e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2864-2864 | O argumento numero 2 de governorSpeed e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | O argumento numero 2 de lethalDose e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1188-1188 | O argumento numero 2 de precipitationRate e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2810-2810 | O argumento numero 3 de rainfallIntensity e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 455-455 | O argumento numero 2 de rentalPrice e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3015-3015 | O argumento numero 3 de snowfallIntensity e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 771-771 | O argumento numero 2 de soundFrequency e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2109-2109 | O argumento numero 2 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2110-2110 | O argumento numero 3 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1711-1711 | O argumento numero 2 de topSpeed e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31370-31370 | O argumento numero 2 de transformerCapacity e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3228-3228 | O argumento numero 3 de transitwayCapacityRate e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 398-398 | O argumento numero 2 de unitPrice e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31278-31278 | O argumento numero 2 de voltageRatingPrimary e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31321-31321 | O argumento numero 2 de voltageRatingSecondary e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2282-2282 | O argumento numero 2 de yield e' uma instancia de Funcao de Quantidade |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1981-1986 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6226-6230 |
|