Dreaming - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Dreaming Imagining)	emotion.kif 1697-1697	Dreaming is a subclass of imagining
(disjoint Dreaming IntentionalProcess)	emotion.kif 1698-1698	Dreaming is disjoint from intentional process
(documentation Dreaming EnglishLanguage "A Process of producing metal images which occurs while one is Asleep.")	emotion.kif 1699-1700	Dreaming is disjoint from intentional process

appearance as argument number 2

(termFormat EnglishLanguage Dreaming "dreaming")	domainEnglishFormat.kif 20370-20370
(termFormat ChineseTraditionalLanguage Dreaming "做夢")	domainEnglishFormat.kif 20371-20371
(termFormat ChineseLanguage Dreaming "做梦")	domainEnglishFormat.kif 20372-20372

antecedent

(=>
    (and
        (instance ?DREAM Dreaming)
        (experiencer ?DREAM ?AGENT))
    (holdsDuring
        (WhenFn ?DREAM)
        (attribute ?AGENT Asleep)))

If X is an instance of dreaming and Y experiences X, then asleep is an attribute of Y holds during the time of existence of X