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 14726-14727 | |
(subclass Application FormText) | Mid-level-ontology.kif 14725-14725 |
appearance as argument number 2 |
(termFormat ChineseLanguage Application "应用") | domainEnglishFormat.kif 8025-8025 | |
(termFormat ChineseTraditionalLanguage Application "應用") | domainEnglishFormat.kif 8024-8024 | |
(termFormat EnglishLanguage Application "application") | domainEnglishFormat.kif 8023-8023 |
antecedent |
(=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 14729-14735 |