| PrivateSchool(private school) | | private_school |
| appearance as argument number 1 |
|
|
| (disjoint PrivateSchool GovernmentOrganization) | Mid-level-ontology.kif 16690-16690 | Private school is disjoint from government organization |
| (documentation PrivateSchool EnglishLanguage "A School which is not publicly owned.") | Mid-level-ontology.kif 16691-16691 | |
| (subclass PrivateSchool School) | Mid-level-ontology.kif 16689-16689 | Private school is a subclass of school |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PrivateSchool "私立学校") | domainEnglishFormat.kif 47476-47476 | |
| (termFormat ChineseTraditionalLanguage PrivateSchool "私立學校") | domainEnglishFormat.kif 47475-47475 | |
| (termFormat EnglishLanguage PrivateSchool "private school") | domainEnglishFormat.kif 47474-47474 |
|
|
|