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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Classroom

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 14760-14761
s__externalImage(s__Classroom,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ teacher/ classroom.png"')

pictureList.kif 348-348
s__instance(s__Classroom,s__Class)

s__subclass(s__Classroom,s__Room)

s__instance(s__Room,s__Class)

Mid-level-ontology.kif 14759-14759 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 14763-14768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14770-14776


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