Dreaming - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Dreaming IntentionalProcess)	Mid-level-ontology.kif 19324-19324	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 19325-19326	Dreaming is disjoint from intentional process
(subclass Dreaming Imagining)	Mid-level-ontology.kif 19323-19323	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 19328-19332