TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Researcher "researcher")	domainEnglishFormat.kif 49593-49593
(termFormat ChineseTraditionalLanguage Researcher "研究員")	domainEnglishFormat.kif 49594-49594
(termFormat ChineseLanguage Researcher "研究员")	domainEnglishFormat.kif 49595-49595

antecedent

(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))

If researcher is an attribute of X, then there exists Y such that Y is a subclass of science and Y has an expertise in X

consequent

(=>
    (attribute ?PERSON MedicalResearcher)
    (and
        (attribute ?PERSON Researcher)
        (hasExpertise ?PERSON MedicalScience)))