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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Classroom
Classroom(classroom)
classroom, home_room, homeroom, schoolroom, study_hall

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


s__documentation(s__Classroom,s__EnglishLanguage,'"Any Room in a School where education takes place."')

Mid-level-ontology.kif 14411-14412
s__externalImage(s__Classroom,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ teacher/ classroom.png"')

pictureList.kif 348-348
s__subclass(s__Classroom,s__Room)

s__instance(s__Classroom,s__SetOrClass)

s__instance(s__Room,s__SetOrClass)

Mid-level-ontology.kif 14410-14410 Classroom is a subclass of room

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


s__termFormat(s__ChineseLanguage,s__Classroom,'"教室"')

domainEnglishFormat.kif 15045-15045
s__termFormat(s__ChineseTraditionalLanguage,s__Classroom,'"教室"')

domainEnglishFormat.kif 15044-15044
s__termFormat(s__EnglishLanguage,s__Classroom,'"classroom"')

domainEnglishFormat.kif 15043-15043

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


( ! [V__R] :
   ((s__instance(V__R,s__Classroom) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__School) &
               s__part(V__R,V__S))))))
   )
)

Mid-level-ontology.kif 14414-14419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14421-14427


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