EmotionalState(emotional state) |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 710-710 | Jealousy is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 746-746 | Love is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 777-777 | Pleasure is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 958-958 | Pride is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1115-1115 | Sadness is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 823-823 | Shame is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 912-912 | Surprise is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | Unhappiness is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 999-999 | Worry is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | Emotional facial expression is internally related to emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 73-73 | Subjective emotional feeling is a subclass of emotional state |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1264-1264 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1749-1749 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 942-942 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 481-481 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2626-2626 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 894-894 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 517-517 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 963-963 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 482-482 |