| Application(application) | | application |
| appearance as argument number 1 |
|
|
| (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 15879-15880 | |
| (subclass Application FormText) | Mid-level-ontology.kif 15878-15878 | Application is a subclass of form text |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Application "应用") | domainEnglishFormat.kif 8023-8023 | |
| (termFormat ChineseTraditionalLanguage Application "應用") | domainEnglishFormat.kif 8022-8022 | |
| (termFormat EnglishLanguage Application "application") | domainEnglishFormat.kif 8021-8021 |
| antecedent |
|
|
| (=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 15882-15888 |
|
|
|
|