Bedroom - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Bedroom Room)	Mid-level-ontology.kif 17183-17183	Bedroom is a subclass of room
(documentation Bedroom EnglishLanguage "A Room intended primarily for sleeping.")	Mid-level-ontology.kif 17184-17184	Bedroom is a subclass of room
(externalImage Bedroom "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Schlafzimmer%2C_Residenz_M%C3%BCnchen.jpg")	pictureList.kif 4544-4544	Bedroom is a subclass of room

appearance as argument number 2

(termFormat EnglishLanguage Bedroom "bedroom")	domainEnglishFormat.kif 10473-10473
(termFormat ChineseTraditionalLanguage Bedroom "臥室")	domainEnglishFormat.kif 10474-10474
(termFormat ChineseLanguage Bedroom "卧室")	domainEnglishFormat.kif 10475-10475

antecedent

(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))

If X is an instance of bedroom, then there exists Y such that Y is an instance of bed and Y is located at X