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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraduateSchool
GraduateSchool

appearance as argument number 1
-------------------------


(documentation GraduateSchool EnglishLanguage "A School which is devoted to a specific subject area, which admits students that have a bachelor's degree, which grants masters and/ or doctorate degrees, and which is part of a University.") Mid-level-ontology.kif 16774-16776
(subclass GraduateSchool PostSecondarySchool) Mid-level-ontology.kif 16773-16773

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


(subclass MedicalSchool GraduateSchool) Mid-level-ontology.kif 16785-16785
(termFormat ChineseLanguage GraduateSchool "研究所") domainEnglishFormat.kif 26358-26358
(termFormat ChineseTraditionalLanguage GraduateSchool "研究所") domainEnglishFormat.kif 26357-26357
(termFormat EnglishLanguage GraduateSchool "graduate school") domainEnglishFormat.kif 26356-26356

antecedent
-------------------------


(=>
    (instance ?S GraduateSchool)
    (exists (?U)
        (and
            (instance ?U University)
            (subOrganization ?S ?U))))
Mid-level-ontology.kif 16778-16783


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