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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Indoors

appearance as argument number 1

(disjoint Indoors Outdoors) Mid-level-ontology.kif 9142-9142 在室内 和 % 2 是 disjoint
(documentation Indoors EnglishLanguage "Any Region which is enclosed by a Building.") Mid-level-ontology.kif 9143-9143
(externalImage Indoors " d7/ Generic_kitchen.jpg/ 180px-Generic_kitchen.jpg") pictureList.kif 1311-1311
(subclass Indoors Region) Mid-level-ontology.kif 9141-9141 在室内地区subclass

appearance as argument number 2

(termFormat ChineseLanguage Indoors "在室内") domainEnglishFormat.kif 29719-29719
(termFormat ChineseTraditionalLanguage Indoors "在室內") domainEnglishFormat.kif 29718-29718
(termFormat EnglishLanguage Indoors "indoors") domainEnglishFormat.kif 29717-29717


    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 9145-9150


    (attribute ?X DownAndInRoom)
    (exists (?LOC ?INDOOR)
            (instance ?INDOOR Indoors)
            (instance ?LOC Region)
            (orientation ?LOC ?X Adjacent)
            (orientation ?LOC ?X Outside)
            (located ?LOC ?INDOOR))))
Hotel.kif 1057-1065

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

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