TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Application FormText)	Mid-level-ontology.kif 16112-16112	Application is a subclass of form text
(documentation Application EnglishLanguage "A FormText whose purpose is to obtain admission to an Organization or to receive assistance from an Organization.")	Mid-level-ontology.kif 16113-16114	Application is a subclass of form text

appearance as argument number 2

(termFormat EnglishLanguage Application "application")	domainEnglishFormat.kif 8020-8020
(termFormat ChineseTraditionalLanguage Application "應用")	domainEnglishFormat.kif 8021-8021
(termFormat ChineseLanguage Application "应用")	domainEnglishFormat.kif 8022-8022

antecedent

(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))

If X is an instance of application, then X has the purpose there exist Y and Z such that Y is an instance of joining an organization or Z is an instance of unilateral giving