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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Teacher
Teacher

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


(documentation Teacher EnglishLanguage "The Profession of being a teacher.") Mid-level-ontology.kif 18279-18279
(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 18278-18278

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 20361-20361
(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 18281-18285
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18287-18289


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