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 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

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


(subAttribute Professor Teacher) Mid-level-ontology.kif 21278-21278
(termFormat ChineseLanguage Teacher "老师") domainEnglishFormat.kif 57188-57188
(termFormat ChineseTraditionalLanguage Teacher "老師") domainEnglishFormat.kif 57187-57187
(termFormat EnglishLanguage Teacher "teacher") domainEnglishFormat.kif 57186-57186

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