|
|
  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 19314-19314 | |
| 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 19313-19313 | 焦虑 是 不幸 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19301-19301 | 宁静 是 焦虑 的相反 |
| 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 19316-19319 |
| 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 18249-18255 |
|
|
|