JoiningAnOrganization
|
|
appearance as argument number 1 |
(documentation JoiningAnOrganization ChineseLanguage "这是成为一个 Organization 的 member 的 OrganizationalProcess。") | chinese_format.kif 2947-2948 | |
(documentation JoiningAnOrganization EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization.") | Merge.kif 10575-10576 | |
(documentation JoiningAnOrganization JapaneseLanguage "Organization の member になる OrganizationalProcess。") | japanese_format.kif 1702-1703 | |
(subclass JoiningAnOrganization OrganizationalProcess) | Merge.kif 10573-10573 | Joining an organization is a subclass of organizational process |
appearance as argument number 2 |
antecedent |
consequent |
(=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 14511-14517 |
|