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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Researcher
Researcher

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


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

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


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

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


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

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


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


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