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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Teacher
Teacher(teacher)
art_teacher, ballet_master, ballet_mistress, crammer, dance_master, dancing-master, docent, educator, instructor, master, pedagog, pedagogue, professional, teacher

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


(documentation Teacher EnglishLanguage "The Profession of being a teacher.") Mid-level-ontology.kif 17487-17487
(externalImage Teacher "http://upload.wikimedia.org/wikipedia/commons/2/ 27/ Teacher.jpg") pictureList.kif 973-973
(externalImage Teacher "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ teacher/ teacher.png") pictureList.kif 773-773
(instance Teacher Profession) Mid-level-ontology.kif 17486-17486 Teacher is an instance of profession

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 19568-19568 Professor is a subattribute of teacher
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57130-57130
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57129-57129
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57128-57128

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 17489-17493
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 17495-17497


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