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 |
ε attitudeForObject, 1 and EmotionalState |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2119-2119 |
ε attitudeForObject, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2120-2120 |
ε attitudeForObject, 3 and Physical |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2115-2115 |
δΎ attitudeForObject and TernaryPredicate |