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 19162-19162
(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 19161-19161 Teacher is an instance of profession

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 21278-21278 Professor is a subattribute of teacher
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57193-57193 Professor is a subattribute of teacher
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57192-57192 Professor is a subattribute of teacher
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57191-57191 Professor is a subattribute of teacher

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 19164-19168
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 19170-19172


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