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 | 組織に加入 は 組織プロセス の subclass では %n |
appearance as argument number 2 |
(disjoint LeavingAnOrganization JoiningAnOrganization) | Merge.kif 10668-10668 | 組織を脱退 と 組織に加入 は disjoint では %n |
(subclass Baptizing JoiningAnOrganization) | Mid-level-ontology.kif 7992-7992 | Baptizing は 組織に加入 の subclass では %n |
(subclass Hiring JoiningAnOrganization) | Merge.kif 10741-10741 | 雇用 は 組織に加入 の subclass では %n |
(subclass Infiltration JoiningAnOrganization) | Mid-level-ontology.kif 21938-21938 | Infiltration は 組織に加入 の subclass では %n |
(subclass Matriculation JoiningAnOrganization) | Merge.kif 10730-10730 | 入学 は 組織に加入 の subclass では %n |
(termFormat ChineseLanguage JoiningAnOrganization "加入一个机构") | chinese_format.kif 1097-1097 | |
(termFormat EnglishLanguage JoiningAnOrganization "joining an organization") | english_format.kif 1405-1405 | |
(termFormat FrenchLanguage JoiningAnOrganization "adh�rer une organisation") | french_format.kif 775-775 | |
(termFormat Hindi JoiningAnOrganization "sansthaa kaarya grahana") | terms-hindi.txt 307-307 | |
(termFormat ItalianLanguage JoiningAnOrganization "AdesioneAdUn'Organizzazione") | terms-it.txt 310-310 | |
(termFormat JapaneseLanguage JoiningAnOrganization "組織に加入") | japanese_format.kif 2459-2459 | |
(termFormat PortugueseLanguage JoiningAnOrganization "Juntar-se a uma Organizacao") | portuguese_format.kif 727-727 | |
(termFormat cz JoiningAnOrganization "joining an organization") | terms-cz.txt 346-346 | |
(termFormat ro JoiningAnOrganization "aderare la o organizaþie") | relations-ro.kif 796-796 | |
(termFormat tg JoiningAnOrganization "pagsali sa kapisanan") | terms-tg.txt 311-311 |
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 |