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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Teacher

Sigma KEE - Teacher
Teacher

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


(documentation Teacher EnglishLanguage "The Profession of being a teacher.") Mid-level-ontology.kif 18931-18931
(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 18930-18930 TeacherProfessioninstance では %n

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 21047-21047 ProfessorTeachersubattribute では %n
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57153-57153
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57152-57152
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57151-57151

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 18933-18937
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18939-18941


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 is open source software produced by Articulate Software and its partners