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 18255-18255
(externalImage Teacher "http://upload.wikimedia.org/wikipedia/commons/2/ 27/ Teacher.jpg") pictureList.kif 973-973
(externalImage Teacher "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ teacher/ teacher.png") pictureList.kif 773-773
(instance Teacher Profession) Mid-level-ontology.kif 18254-18254

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 20337-20337
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57130-57130
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57129-57129
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57128-57128

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


(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 18257-18261
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18263-18265


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