attitudeForObject |
appearance as argument number 1 |
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 | O argumento numero 1 de attitudeForObject e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2119-2119 | O argumento numero 2 de attitudeForObject e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2120-2120 | O argumento numero 3 de attitudeForObject e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2115-2115 | attitudeForObject e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65781-65781 |