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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Researcher
Researcher(researcher)
Andrija_Mohorovicic, Mohorovicic, investigator, neuroscientist, research_worker, researcher

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


(documentation Researcher EnglishLanguage "The Profession of being a scientific researcher.") Mid-level-ontology.kif 19151-19152
(externalImage Researcher "http://articulatesoftware.com/SUMOpictures/cartoon/ people/ researcher.png") pictureList.kif 691-691
(instance Researcher Profession) Mid-level-ontology.kif 19150-19150 Researcher is an instance of profession

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


(termFormat ChineseLanguage Researcher "研究员") domainEnglishFormat.kif 49638-49638
(termFormat ChineseTraditionalLanguage Researcher "研究員") domainEnglishFormat.kif 49637-49637
(termFormat EnglishLanguage Researcher "researcher") domainEnglishFormat.kif 49636-49636

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


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

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


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


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