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 |
The number 1 argument of attitude for object is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2119-2119 |
The number 2 argument of attitude for object is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2120-2120 |
The number 3 argument of attitude for object is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2115-2115 |
attitude for object is an instance of ternary predicate |