HighSchool - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__HighSchool,s__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 14268-14270

Mid-level-ontology.kif 14267-14267

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__HighSchool,'"中学"')	domainEnglishFormat.kif 28057-28057
s__termFormat(s__ChineseTraditionalLanguage,s__HighSchool,'"中學"')	domainEnglishFormat.kif 28056-28056
s__termFormat(s__EnglishLanguage,s__HighSchool,'"high school"')	domainEnglishFormat.kif 28055-28055

consequent

( ! [V__COLLEGE,V__STUDENT,V__ENTER] :
   ((s__instance(V__ENTER,s__Matriculation) &
       s__agent(V__ENTER,V__COLLEGE)
     &
     s__patient(V__ENTER,V__STUDENT)
   &
   s__instance(V__COLLEGE,s__College))
=>
( ? [V__GRAD, V__SCHOOL] :
   ((s__instance(V__GRAD,s__Graduation) &
       s__agent(V__GRAD,V__SCHOOL)
     &
     s__patient(V__GRAD,V__STUDENT)
   &
   s__instance(V__SCHOOL,s__HighSchool) &
   s__earlier(s__WhenFn(V__GRAD)
,s__WhenFn(V__ENTER)))))
)
)

Mid-level-ontology.kif 14272-14284