| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2045-2045 | Quantit� constante est une sous-classe de quantit� physique |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1413-1413 | waveHeight est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 849-849 | RadiationMeasure est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | Mesure temporel est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6216-6216 | NonCompositeUnitOfMeasure est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6242-6242 | Mesure de longueur est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6253-6253 | Mesure de masse est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6289-6289 | Mesure de temperature est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | Mesure de devise est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | Mesure d'angle est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7411-7411 | Mesure d'information est une sous-classe de quantit� constante |
|
|