EmotionalState(情绪状态) |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 710-710 | Jealousy 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 746-746 | Love 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 777-777 | Pleasure 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 958-958 | Pride 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1115-1115 | Sadness 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 823-823 | Shame 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 912-912 | 惊喜 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | 不幸 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 999-999 | Worry 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | EmotionalFacialExpression 和 情绪状态 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 73-73 | SubjectiveEmotionalFeeling 是 情绪状态 的 subclass |
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 |