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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Professor

Sigma KEE - Professor
Professor

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


(documentation Professor EnglishLanguage "The Profession of being a teacher at a PostSecondarySchool.") Mid-level-ontology.kif 21048-21049
(subAttribute Professor Teacher) Mid-level-ontology.kif 21047-21047 Professor est un sous-attribut de Teacher

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


(termFormat ChineseLanguage Professor "教授") domainEnglishFormat.kif 47620-47620
(termFormat ChineseTraditionalLanguage Professor "教授") domainEnglishFormat.kif 47619-47619
(termFormat EnglishLanguage Professor "professor") domainEnglishFormat.kif 47618-47618

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


(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))
Mid-level-ontology.kif 21051-21057


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