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 18904-18904
(externalImage Teacher "http://articulatesoftware.com/SUMOpictures/education/ teacher/ teacher.png") pictureList.kif 773-773
(externalImage Teacher "http://upload.wikimedia.org/wikipedia/commons/2/ 27/ Teacher.jpg") pictureList.kif 972-972
(instance Teacher Profession) Mid-level-ontology.kif 18903-18903 Teacher is an instance of profession

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 21020-21020 Professor is a subattribute of teacher
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57151-57151
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57150-57150
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57149-57149

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 18906-18910
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18912-18914


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