TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Scholarship Funding)	Mid-level-ontology.kif 8523-8523	Scholarship is a subclass of funding
(documentation Scholarship EnglishLanguage "Any Funding which is made on the basis of merit and whose purpose is to allow the destination to realize an EducationalProgram.")	Mid-level-ontology.kif 8524-8526	Scholarship is a subclass of funding

appearance as argument number 2

(termFormat EnglishLanguage Scholarship "scholarship")	domainEnglishFormat.kif 51538-51538
(termFormat ChineseTraditionalLanguage Scholarship "獎學金")	domainEnglishFormat.kif 51539-51539
(termFormat ChineseLanguage Scholarship "奖学金")	domainEnglishFormat.kif 51540-51540

antecedent

(=>
    (and
        (instance ?F Scholarship)
        (destination ?F ?H))
    (hasPurpose ?F
        (exists (?EP ?P)
            (and
                (instance ?EP EducationalProgram)
                (realization ?P ?EP)
                (experiencer ?P ?H)))))

If X is an instance of scholarship and X ends up at Y, then X has the purpose there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W