Anxiety
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | 焦虑 是 对于 消化 的 disease 治愈 Benzodiazepine |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1172-1176 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19341-19341 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1177-1177 | 焦虑 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4054-4054 | Escitalopram 是服用 焦虑 的 side effect |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19340-19340 | 焦虑 是 不幸 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | 宁静 是 焦虑 的相反 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7932-7932 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7931-7931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7930-7930 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1169-1169 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1178-1178 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1170-1170 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1171-1171 | utterance 英语, 焦虑 and "anxious" |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19343-19346 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 983-992 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18276-18282 |