HighSchool
|
|
appearance as argument number 1 |
(documentation HighSchool EnglishLanguage "A School which admits students who have graduated from a middle school and which normally covers the ninth through twelfth grades. A HighSchool confers a high school diploma.") | Mid-level-ontology.kif 16667-16669 | |
(subclass HighSchool School) | Mid-level-ontology.kif 16666-16666 | HighSchool e' uma sub-classe de School |
appearance as argument number 2 |
(termFormat ChineseLanguage HighSchool "中学") | domainEnglishFormat.kif 28155-28155 | |
(termFormat ChineseTraditionalLanguage HighSchool "中學") | domainEnglishFormat.kif 28154-28154 | |
(termFormat EnglishLanguage HighSchool "high school") | domainEnglishFormat.kif 28153-28153 |
consequent |
(=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 16671-16683 |
|