Anxiety
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | Anxiety is disease treatment benzodiazepine for ingesting |
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 | Anxiety is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4054-4054 | Escitalopram is a side effect of taking anxiety |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19340-19340 | Anxiety is a subattribute of unhappiness |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | Tranquility is the opposite of 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 english language, anxiety 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 |
|