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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HighSchool
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

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


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