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 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 老师职业instance

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 21020-21020 教授老师subAttribute
(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 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