| SecondarySchool(secondary school)
| | academy, high, high_school, highschool, senior_high, senior_high_school |
| appearance as argument number 1 |
|
|
| (documentation SecondarySchool EnglishLanguage "A School which admits students who have graduated from a middle school and which normally covers the ninth through twelfth grades. A SecondarySchool confers a high school diploma.") | Mid-level-ontology.kif 17614-17616 | |
| (externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Japanese_school_uniform_dsc06051.jpg") | pictureList.kif 6844-6844 | |
| (externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/en/ 2/ 26/ Gbshs.jpg") | pictureList.kif 7825-7825 | |
| (subclass SecondarySchool School) | Mid-level-ontology.kif 17613-17613 | Secondary school is a subclass of school |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SecondarySchool "中学") | domainEnglishFormat.kif 51816-51816 | |
| (termFormat ChineseTraditionalLanguage SecondarySchool "中學") | domainEnglishFormat.kif 51815-51815 | |
| (termFormat EnglishLanguage SecondarySchool "secondary school") | domainEnglishFormat.kif 51814-51814 |
| consequent |
|
|
| (=> (and (instance ?E Matriculation) (agent ?E ?C) (patient ?E ?P) (instance ?C College)) (exists (?G ?S) (and (instance ?G Graduation) (agent ?G ?S) (patient ?G ?P) (instance ?S SecondarySchool) (earlier (WhenFn ?G) (WhenFn ?E))))) |
Mid-level-ontology.kif 17618-17630 |
|
|
|
|