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 15432-15433
(externalImage Researcher "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ cartoon/ people/ researcher.png") pictureList.kif 691-691
(instance Researcher Profession) Mid-level-ontology.kif 15431-15431

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


(termFormat ChineseLanguage Researcher "研究员") domainEnglishFormat.kif 49580-49580
(termFormat ChineseTraditionalLanguage Researcher "研究員") domainEnglishFormat.kif 49579-49579
(termFormat EnglishLanguage Researcher "researcher") domainEnglishFormat.kif 49578-49578

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (instance ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 15435-15440

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


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


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