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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MedicalResearcher
MedicalResearcher

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


(documentation MedicalResearcher EnglishLanguage "A Scientist who devotes himself to doing medical research.") Biography.kif 507-507
(instance MedicalResearcher Profession) Biography.kif 505-505
(subAttribute MedicalResearcher Scientist) Biography.kif 506-506

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


(termFormat EnglishLanguage MedicalResearcher "medical researcher") domainEnglishFormat.kif 65159-65159

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


(=>
    (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