more pictures...
| ConstantQuantity(Quantidade Constante)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1768-1778 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2047-2065 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 379-390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9103-9103 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8437-8437 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9106-9106 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9107-9107 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9104-9104 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9105-9105 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | Quantidade Constante e' uma sub-classe de Quantidade Fisica |
| appearance as argument number 2 |
|
|
| 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. | QoSontology.kif 1320-1320 | O contra-dominio de CPUUtilizationFn e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6586-6586 | Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6314-6314 | Medida de Angulo e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6302-6302 | Medida de Divisa e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7412-7412 | Medida de Informacao e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6243-6243 | Medida de Comprimento e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6254-6254 | Medida de Massa e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6217-6217 | NonCompositeUnitOfMeasure e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 849-849 | RadiationMeasure e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6290-6290 | Medida de Temperatura e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | Medida Temporal e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1401-1401 | waveHeight e' uma sub-classe de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 876-876 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 954-954 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 552-552 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 85-85 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2237-2237 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 573-573 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 86-86 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6584-6584 | O argumento numero 1 de IntervalFn e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6585-6585 | O argumento numero 2 de IntervalFn e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2073-2073 | O argumento numero 2 de arableLandArea e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1206-1206 | O argumento numero 3 de averagePrecipitationForPeriod e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6676-6676 | O argumento numero 2 de capacity e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24419-24419 | O argumento numero 1 de distanceOnPath e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1737-1737 | O argumento numero 2 de hearingAcuity e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1738-1738 | O argumento numero 3 de hearingAcuity e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 251-251 | O argumento numero 2 de highAltitudeWindSpeed e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2130-2130 | O argumento numero 2 de hostJitter e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2210-2210 | O argumento numero 2 de irrigatedLandArea e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13756-13756 | O argumento numero 2 de loudness e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2930-2930 | O argumento numero 2 de measurementReading e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 228-228 | O argumento numero 2 de mediumAltitudeWindSpeed e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1663-1663 | O argumento numero 2 de memorySize e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2156-2156 | O argumento numero 2 de otherLandUseArea e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2117-2117 | O argumento numero 2 de permanentCropLandArea e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1197-1197 | O argumento numero 2 de precipitationAmount e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1195-1195 | O argumento numero 2 de qoSSlack e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1196-1196 | O argumento numero 3 de qoSSlack e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 960-960 | O argumento numero 2 de seaSurfaceTemperature e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1215-1215 | O argumento numero 3 de totalPrecipitationForPeriod e' uma instancia de Quantidade Constante |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6232-6236 |
|
|
|
|