FeelingTired
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1853-1854 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1851-1851 | FeelingTired 是 SubjectiveEmotionalFeeling 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4056-4056 | Escitalopram 是服用 FeelingTired 的 side effect |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1849-1849 | FeelingAlert 是 FeelingTired 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1818-1818 | FeelingExhausted 是 FeelingTired 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1855-1855 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1852-1852 | utterance 英语, FeelingTired and "tired" |