|
|
  Anxiety
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | diseaseMedicine Anxiety, Benzodiazepine and Ingerir |
| 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 | Anxiety e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4054-4054 | sideEffect Anxiety and Escitalopram |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19312-19312 | Anxiety e' um sub-atributo de Unhappiness |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19300-19300 | Tranquility e' &o oposto de Anxiety |
| 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 EnglishLanguage, Anxiety 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 |
|
|
|
|