Dreaming | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Dreaming IntentionalProcess) | Mid-level-ontology.kif 19806-19806 | |
(documentation Dreaming EnglishLanguage "A Process of producing metal images which occurs while one is Asleep.") | Mid-level-ontology.kif 19807-19808 | |
(subclass Dreaming Imagining) | Mid-level-ontology.kif 19805-19805 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Dreaming "做梦") | domainEnglishFormat.kif 20379-20379 | |
(termFormat ChineseTraditionalLanguage Dreaming "做夢") | domainEnglishFormat.kif 20378-20378 | |
(termFormat EnglishLanguage Dreaming "dreaming") | domainEnglishFormat.kif 20377-20377 |
antecedent |
![]() |
(=> (and (instance ?DREAM Dreaming) (experiencer ?DREAM ?AGENT)) (holdsDuring (WhenFn ?DREAM) (attribute ?AGENT Asleep))) |
Mid-level-ontology.kif 19810-19814 |
![]() |
![]() |