No TPTP formula. May not be expressible in strict first order. | emotion.kif 1357-1357 | Emotional bodily movement behavior is a subclass of emotional behavioral process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1358-1358 | Emotional bodily movement behavior is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1380-1380 | Moving away from people is a subclass of emotional bodily movement behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1416-1416 | Moving towards people is a subclass of emotional bodily movement behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1521-1521 | Staying still is a subclass of emotional bodily movement behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1690-1690 | Moving abruptly is a subclass of emotional bodily movement behavior |