TreeView Knowledge Base Browser - School

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - School

School(school)

direct-grant_school, finishing_school, school, school_system, schoolhouse

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16653-16655
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 716-716
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 161-161
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16652-16652	School is a subclass of educational organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16761-16761	Art school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16777-16777	Day school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16665-16665	High school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16721-16721	Post secondary school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16661-16661	Private school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16657-16657	Public school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16684-16684	Secondary school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16703-16703	Vocational school is a subclass of school
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51549-51549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51548-51548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51547-51547

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6983-6988	If an object is an instance of dormitory, then there exists an agent such that the agent is an instance of school and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15597-15602	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

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