| TimeDependentQuantity(time dependent quantity) | | ESR, M.M., MFLOP, MIPS, Nyquist_frequency, Nyquist_rate, THz, accelerando, acceleration, airspeed, allegretto, allegro, allegro_con_spirito, andante, atrioventricular_nodal_rhythm, attrition_rate, beats_per_minute, birth_rate, birthrate, bpm, c, cardiac_output, case_load, centripetal_acceleration, channel_capacity, common_measure, common_time, count_per_minute, counts/minute, crime_rate, data_rate, death_rate, deathrate, dose_rate, double_time, erythrocyte_sedimentation_rate, escape_velocity, fatality_rate, femoral_pulse, fertility, fertility_rate, flow, flow_rate, four-four_time, frequence, frequency, groundspeed, growth_rate, heart_rate, infant_deathrate... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1800-1803 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2121-2126 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 415-418 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2120-2120 | Time dependent quantity is a subclass of unary constant function quantity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6834-6834 | Frequency measure is a subclass of time dependent quantity |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 884-884 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 970-970 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 560-560 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 93-93 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2245-2245 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 512-512 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 127-127 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 581-581 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 94-94 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7510-7514 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 242-244 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 258-260 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 250-252 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7048-7050 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6920-6922 |
|
|
|
|