Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Teacher

 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
-------------------------


(instance Teacher Profession) Mid-level-ontology.kif 20840-20840 Teacher is an instance of profession
(documentation Teacher EnglishLanguage "The Profession of being a teacher.") Mid-level-ontology.kif 20841-20841 Teacher is an instance of profession
(externalImage Teacher "http://articulatesoftware.com/SUMOpictures/education/ teacher/ teacher.png") pictureList.kif 773-773 Teacher is an instance of profession
(externalImage Teacher "http://upload.wikimedia.org/wikipedia/commons/2/ 27/ Teacher.jpg") pictureList.kif 972-972 Teacher is an instance of profession

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


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

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))		 Mid-level-ontology.kif 20843-20847 If teacher is an attribute of X and Y holds the position of X in Z, then X is a teacher in Z
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))		 Mid-level-ontology.kif 20849-20851 If teacher is an attribute of X, then X has the skill to do educational process


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners