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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrivateSchool

Sigma KEE - PrivateSchool
PrivateSchool(private school)private_school

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


(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16663-16663 Private school is disjoint from government organization
(documentation PrivateSchool EnglishLanguage "A School which is not publicly owned.") Mid-level-ontology.kif 16664-16664
(subclass PrivateSchool School) Mid-level-ontology.kif 16662-16662 Private school is a subclass of school

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


(termFormat ChineseLanguage PrivateSchool "私立学校") domainEnglishFormat.kif 47474-47474
(termFormat ChineseTraditionalLanguage PrivateSchool "私立學校") domainEnglishFormat.kif 47473-47473
(termFormat EnglishLanguage PrivateSchool "private school") domainEnglishFormat.kif 47472-47472


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