Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Indoors

Sigma KEE - Indoors
Indoors

appearance as argument number 1
-------------------------


(disjoint Indoors Outdoors) Mid-level-ontology.kif 8749-8749
(documentation Indoors EnglishLanguage "Any Region which is enclosed by a Building.") Mid-level-ontology.kif 8750-8750
(externalImage Indoors "http://upload.wikimedia.org/wikipedia/en/thumb/d/ d7/ Generic_kitchen.jpg/ 180px-Generic_kitchen.jpg") pictureList.kif 1312-1312
(subclass Indoors Region) Mid-level-ontology.kif 8748-8748

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Indoors "在室内") domainEnglishFormat.kif 29706-29706
(termFormat ChineseTraditionalLanguage Indoors "在室內") domainEnglishFormat.kif 29705-29705
(termFormat EnglishLanguage Indoors "indoors") domainEnglishFormat.kif 29704-29704

antecedent
-------------------------


(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 8752-8757

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 1035-1043


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners