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 18920-18921
(externalImage Researcher "http://articulatesoftware.com/SUMOpictures/cartoon/ people/ researcher.png") pictureList.kif 691-691
(instance Researcher Profession) Mid-level-ontology.kif 18919-18919 ResearcherProfessioninstance では %n

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


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

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


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

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