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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecondarySchool
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 16713-16715
(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 16712-16712

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


(termFormat ChineseLanguage SecondarySchool "中学") domainEnglishFormat.kif 51785-51785
(termFormat ChineseTraditionalLanguage SecondarySchool "中學") domainEnglishFormat.kif 51784-51784
(termFormat EnglishLanguage SecondarySchool "secondary school") domainEnglishFormat.kif 51783-51783

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 16717-16729


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



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