Indoors - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Indoors Outdoors)	Mid-level-ontology.kif 10348-10348	Indoors is disjoint from outdoors
(documentation Indoors EnglishLanguage "Any Region which is enclosed by a Building.")	Mid-level-ontology.kif 10349-10349	Indoors is disjoint from outdoors
(externalImage Indoors "http://upload.wikimedia.org/wikipedia/en/thumb/d/ d7/ Generic_kitchen.jpg/ 180px_Generic_kitchen.jpg")	pictureList.kif 1311-1311	Indoors is disjoint from outdoors
(subclass Indoors Region)	Mid-level-ontology.kif 10347-10347	Indoors is a subclass of region

appearance as argument number 2

(termFormat ChineseLanguage Indoors "在室内")	domainEnglishFormat.kif 29730-29730
(termFormat ChineseTraditionalLanguage Indoors "在室內")	domainEnglishFormat.kif 29729-29729
(termFormat EnglishLanguage Indoors "indoors")	domainEnglishFormat.kif 29728-29728

antecedent

(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))

Mid-level-ontology.kif 10351-10356

consequent

(=>
    (attribute ?X DownAndInRoom)
    (exists (?LOC ?INDOOR)
        (and
            (instance ?INDOOR Indoors)
            (instance ?LOC Region)
            (orientation ?LOC ?X Adjacent)
            (orientation ?LOC ?X Outside)
            (located ?LOC ?INDOOR))))

Hotel.kif 1065-1073