SecondarySchool
|
|
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 16685-16687 | |
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Japanese_school_uniform_dsc06051.jpg") | pictureList.kif 6845-6845 | |
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/en/ 2/ 26/ Gbshs.jpg") | pictureList.kif 7826-7826 | |
(subclass SecondarySchool School) | Mid-level-ontology.kif 16684-16684 |
appearance as argument number 2 |
(termFormat ChineseLanguage SecondarySchool "中学") | domainEnglishFormat.kif 51783-51783 | |
(termFormat ChineseTraditionalLanguage SecondarySchool "中學") | domainEnglishFormat.kif 51782-51782 | |
(termFormat EnglishLanguage SecondarySchool "secondary school") | domainEnglishFormat.kif 51781-51781 |
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 16689-16701 |