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 10597-10598 | |
(documentation JoiningAnOrganization JapaneseLanguage "Organization の member になる OrganizationalProcess。") | japanese_format.kif 1702-1703 | |
(subclass JoiningAnOrganization OrganizationalProcess) | Merge.kif 10595-10595 | JoiningAnOrganization ist eine teilkategorie von OrganizationalProcess |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG)) |
Government.kif 2501-2508 |
|
(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?ORG Organization) (agent ?JOIN ?PERSON) (patient ?JOIN ?ORG)) (and (holdsDuring (BeginFn (WhenFn ?JOIN)) (not (member ?PERSON ?ORG))) (holdsDuring (EndFn (WhenFn ?JOIN)) (member ?PERSON ?ORG)))) |
Merge.kif 10600-10608 |
|
consequent |
(=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 14510-14516 |
|