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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostSecondarySchool
PostSecondarySchool(中學後)
more pictures...

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


(documentation PostSecondarySchool EnglishLanguage "The class of Schools that offer an associate's degree or a bachelor's degree.") Mid-level-ontology.kif 18121-18122
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ Campbell_Library1_small.JPG") pictureList.kif 11647-11647
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 20/ School_for_international_training_international_building_20041204.jpg") pictureList.kif 11643-11643
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 39/ Croydon_College.JPG") pictureList.kif 11644-11644
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Bunce_Hall8_small.JPG") pictureList.kif 11646-11646
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Northwest_Campus_Nome.jpg") pictureList.kif 11648-11648
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ b/ b9/ Serra_Talhada_Aeset.jpg") pictureList.kif 11642-11642
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Vc_LRC.JPG") pictureList.kif 11645-11645
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ KingsCollegeChapel.jpg") pictureList.kif 10198-10198
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Elon_Alamance.JPG") pictureList.kif 11649-11649
(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 18120-18120 劃分 中學後, 大專, 學院 and 大學
(subclass PostSecondarySchool School) Mid-level-ontology.kif 18119-18119 子類 中學後 and 學校

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


(subclass College PostSecondarySchool) Mid-level-ontology.kif 18128-18128 子類 學院 and 中學後
(subclass GraduateSchool PostSecondarySchool) Mid-level-ontology.kif 18143-18143 子類 研究所 and 中學後
(subclass JuniorCollege PostSecondarySchool) Mid-level-ontology.kif 18124-18124 子類 大專 and 中學後
(subclass University PostSecondarySchool) Mid-level-ontology.kif 18136-18136 子類 大學 and 中學後
(termFormat ChineseLanguage PostSecondarySchool "中学后") domainEnglishFormat.kif 46869-46869 子類 大學 and 中學後
(termFormat ChineseTraditionalLanguage PostSecondarySchool "中學後") domainEnglishFormat.kif 46868-46868 子類 大學 and 中學後
(termFormat EnglishLanguage PostSecondarySchool "post secondary school") domainEnglishFormat.kif 46867-46867 子類 大學 and 中學後

appearance as argument number 3
-------------------------


(domain almaMater 2 PostSecondarySchool) Mid-level-ontology.kif 18246-18246 母校, 2 and 中學後

consequent
-------------------------


(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))
Mid-level-ontology.kif 22648-22654


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