No TPTP formula. May not be expressible in strict first order. |
Cars.kif 798-807 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 795-795 |
Le nombre 1 argument de dampingRatio est une instance de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 796-796 |
Le nombre 2 argument de dampingRatio est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 794-794 |
dampingRatio est une instance de pr�dicat binaire |