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 19303-19303 |
不幸 是 情绪状态 的 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 |
|