| 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 and SubjectiveEmotionalFeeling |
| 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 and FeelingTired |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1818-1818 | 子屬性 FeelingExhausted and FeelingTired |
| 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" |
|
|
|