SecondarySchool - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SecondarySchool School)	Mid-level-ontology.kif 18299-18299	Secondary school is a subclass of school
(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 18300-18302	Secondary school is a subclass of school
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Japanese_school_uniform_dsc06051.jpg")	pictureList.kif 6844-6844	Secondary school is a subclass of school
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/en/ 2/ 26/ Gbshs.jpg")	pictureList.kif 7825-7825	Secondary school is a subclass of school

appearance as argument number 2

(termFormat EnglishLanguage SecondarySchool "secondary school")	domainEnglishFormat.kif 51778-51778
(termFormat ChineseTraditionalLanguage SecondarySchool "中學")	domainEnglishFormat.kif 51779-51779
(termFormat ChineseLanguage SecondarySchool "中学")	domainEnglishFormat.kif 51780-51780

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)))))

If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of secondary school, and the time of existence of W happens earlier than the time of existence of X