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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondarySchool

Sigma KEE - SecondarySchool
SecondarySchool(secondary school)
academy, high, high_school, highschool, senior_high, senior_high_school

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16686-16688
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6845-6845
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7826-7826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16685-16685 Secondary school is a subclass of school

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51783-51783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51782-51782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51781-51781

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16690-16702


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