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 16986-16987
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 16985-16985	Classroom is a subclass of room

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15057-15057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15056-15056
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15055-15055

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16989-16994	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 16996-17002	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