Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondarySchool

Sigma KEE - SecondarySchool
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 16106-16108
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Japanese_school_uniform_dsc06051.jpg") pictureList.kif 6846-6846
(externalImage SecondarySchool "http://upload.wikimedia.org/wikipedia/en/ 2/ 26/ Gbshs.jpg") pictureList.kif 7827-7827
(subclass SecondarySchool School) Mid-level-ontology.kif 16105-16105 Secondary school is a subclass of school

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage SecondarySchool "中学") domainEnglishFormat.kif 51766-51766
(termFormat ChineseTraditionalLanguage SecondarySchool "中學") domainEnglishFormat.kif 51765-51765
(termFormat EnglishLanguage SecondarySchool "secondary school") domainEnglishFormat.kif 51764-51764

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 16110-16122


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners