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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Researcher

Sigma KEE - Researcher
Researcher

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


(documentation Researcher EnglishLanguage "The Profession of being a scientific researcher.") Mid-level-ontology.kif 18893-18894
(externalImage Researcher "http://articulatesoftware.com/SUMOpictures/cartoon/ people/ researcher.png") pictureList.kif 691-691
(instance Researcher Profession) Mid-level-ontology.kif 18892-18892

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


(termFormat ChineseLanguage Researcher "研究员") domainEnglishFormat.kif 49598-49598
(termFormat ChineseTraditionalLanguage Researcher "研究員") domainEnglishFormat.kif 49597-49597
(termFormat EnglishLanguage Researcher "researcher") domainEnglishFormat.kif 49596-49596

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 18896-18901

consequent
-------------------------


(=>
    (attribute ?PERSON MedicalResearcher)
    (and
        (attribute ?PERSON Researcher)
        (hasExpertise ?PERSON MedicalScience)))
Biography.kif 509-513


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