No TPTP formula. May not be expressible in strict first order. | Merge.kif 2120-2120 | Quantit� d�pendant du temps est une sous-classe de fonction de quantit� unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6835-6835 | FrequencyMeasure est une sous-classe de quantit� d�pendant du temps |