No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2107-2108 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2109-2109 |
Le nombre 1 argument de RotationFn est une instance de Rotating |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2110-2110 |
Le nombre 2 argument de RotationFn est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2105-2105 |
RotationFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2111-2111 |
Le domaine de RotationFn est une instance de function de quantit� |