Unhappiness(不幸) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 178-178 | actionTendency 不幸 and 皺著眉頭 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19305-19305 | 相反的屬性 不幸 and 幸福 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19306-19307 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | 例 不幸 and EmotionalState |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19321-19321 | 子屬性 憤怒 and 不幸 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19313-19313 | 子屬性 焦慮 and 不幸 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59942-59942 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59941-59941 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59940-59940 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23789-23800 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13032-13036 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13053-13057 |