| Dreaming(dreaming) | | dream, dreaming |
| appearance as argument number 1 |
|
|
| (disjoint Dreaming IntentionalProcess) | Mid-level-ontology.kif 19823-19823 | Dreaming is disjoint from intentional process |
| (documentation Dreaming EnglishLanguage "A Process of producing metal images which occurs while one is Asleep.") | Mid-level-ontology.kif 19824-19825 | Dreaming is disjoint from intentional process |
| (subclass Dreaming Imagining) | Mid-level-ontology.kif 19822-19822 | Dreaming is a subclass of imagining |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dreaming "做梦") | domainEnglishFormat.kif 20385-20385 | |
| (termFormat ChineseTraditionalLanguage Dreaming "做夢") | domainEnglishFormat.kif 20384-20384 | |
| (termFormat EnglishLanguage Dreaming "dreaming") | domainEnglishFormat.kif 20383-20383 |
| antecedent |
|
|
| (=> (and (instance ?DREAM Dreaming) (experiencer ?DREAM ?AGENT)) (holdsDuring (WhenFn ?DREAM) (attribute ?AGENT Asleep))) |
Mid-level-ontology.kif 19827-19831 |
|
|
|
|