Classroom - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15595-15596
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 348-348
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15594-15594	Classroom is a subclass of room

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15042-15042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15041-15041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15040-15040

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15598-15603	If an object is an instance of classroom, then there exists another object such that the other object is an instance of school and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15605-15611	If a physical is an instance of classroom, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical

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