| 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 10609-10610 | |
| (documentation JoiningAnOrganization JapaneseLanguage "Organization の member になる OrganizationalProcess。") | japanese_format.kif 1702-1703 | |
| (subclass JoiningAnOrganization OrganizationalProcess) | Merge.kif 10607-10607 |
| appearance as argument number 2 |
|
|
| (disjoint LeavingAnOrganization JoiningAnOrganization) | Merge.kif 10680-10680 | |
| (subclass Baptizing JoiningAnOrganization) | Mid-level-ontology.kif 8020-8020 | |
| (subclass Hiring JoiningAnOrganization) | Merge.kif 10753-10753 | |
| (subclass Infiltration JoiningAnOrganization) | Mid-level-ontology.kif 21991-21991 | |
| (subclass Matriculation JoiningAnOrganization) | Merge.kif 10742-10742 | |
| (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 2465-2472 | |
| (=> (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 10612-10620 |
| consequent |
|
|
| (=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 14538-14544 |
|
|
|