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 19993-19993
(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 19992-19992 Teacher is an instance of profession

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 22109-22109 Professor is a subattribute of teacher
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57186-57186 Professor is a subattribute of teacher
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57185-57185 Professor is a subattribute of teacher
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57184-57184 Professor is a subattribute of teacher

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 19995-19999
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 20001-20003


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