Indoors - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Indoors Region)	Mid-level-ontology.kif 10388-10388	Indoors is a subclass of region
(disjoint Indoors Outdoors)	Mid-level-ontology.kif 10389-10389	Indoors is disjoint from outdoors
(documentation Indoors EnglishLanguage "Any Region which is enclosed by a Building.")	Mid-level-ontology.kif 10390-10390	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

appearance as argument number 2

(termFormat EnglishLanguage Indoors "indoors")	domainEnglishFormat.kif 29721-29721
(termFormat ChineseTraditionalLanguage Indoors "在室內")	domainEnglishFormat.kif 29722-29722
(termFormat ChineseLanguage Indoors "在室内")	domainEnglishFormat.kif 29723-29723

antecedent

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

If X is an instance of indoors, then there exists Y such that Y is an instance of building and X is inside the to Y

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))))

If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z