| Anxiety(焦慮) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | 焦慮 是 對於 Ingesting 的 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 19313-19313 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1177-1177 | 例 焦慮 and EmotionalState |
| 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 19312-19312 | 子屬性 焦慮 and 不幸 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19300-19300 | 相反的屬性 寧靜 and 焦慮 |
| 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 19315-19318 |
|
| 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 18248-18254 |
|
|
|