No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2123-2124 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2116-2117 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2118-2118 |
Le nombre 1 argument de attitudeForObject est une instance de �tat �motionnel |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2119-2119 |
Le nombre 2 argument de attitudeForObject est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2120-2120 |
Le nombre 3 argument de attitudeForObject est une instance de physique |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2115-2115 |
attitudeForObject est une instance de pr�dicat ternaire |