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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dormitory
Dormitory(dormitory)
dorm, dormitory, hall, residence_hall, student_residence

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


s__disjoint(s__Dormitory,s__SingleFamilyResidence)

Mid-level-ontology.kif 6346-6346 Dormitory is disjoint from single family residence
s__documentation(s__Dormitory,s__EnglishLanguage,'"A TemporaryResidence which is owned by a School and which is used to house students while they take classes at the School."')

Mid-level-ontology.kif 6347-6348
s__externalImage(s__Dormitory,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Sharp_Hall_Dorm_Room.jpg"')

pictureList.kif 1732-1732
s__externalImage(s__Dormitory,'"http://upload.wikimedia.org/wikipedia/en/1/17/ Bowles.jpg"')

pictureList.kif 2150-2150
s__externalImage(s__Dormitory,'"http://upload.wikimedia.org/wikipedia/en/1/1b/ CSUMB_Bldg208.JPG"')

pictureList.kif 2151-2151
s__instance(s__Dormitory,s__SetOrClass)

s__instance(s__ResidentialBuilding,s__SetOrClass)

s__subclass(s__Dormitory,s__ResidentialBuilding)

Mid-level-ontology.kif 6344-6344 Dormitory is a subclass of residential building
s__instance(s__TemporaryResidence,s__SetOrClass)

s__subclass(s__Dormitory,s__TemporaryResidence)

s__instance(s__Dormitory,s__SetOrClass)

Mid-level-ontology.kif 6345-6345 Dormitory is a subclass of temporary residence

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


s__termFormat(s__ChineseLanguage,s__Dormitory,'"宿舍"')

domainEnglishFormat.kif 20199-20199
s__termFormat(s__ChineseTraditionalLanguage,s__Dormitory,'"宿舍"')

domainEnglishFormat.kif 20198-20198
s__termFormat(s__EnglishLanguage,s__Dormitory,'"dormitory"')

domainEnglishFormat.kif 20197-20197

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


( ! [V__D] :
   ((s__instance(V__D,s__Dormitory) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__School) &
               s__possesses(V__S,V__D))))))
   )
)

Mid-level-ontology.kif 6350-6355


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