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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PublicSchool
PublicSchool(public school)
more pictures...
charter_school, public_school

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16660-16660
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6804-6804
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7679-7679
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7680-7680
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7681-7681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7682-7682
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7683-7683
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7684-7684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16659-16659 Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16658-16658 Public school is a subclass of school

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48014-48014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48013-48013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48012-48012


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