associateInOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(instance associateInOrganization BinaryPredicate)	Government.kif 2404-2404	associate in organization is an instance of binary predicate
(domain associateInOrganization 1 AutonomousAgent)	Government.kif 2405-2405	The number 1 argument of associate in organization is an instance of agent
(domain associateInOrganization 2 Group)	Government.kif 2406-2406	The number 2 argument of associate in organization is an instance of group
(subrelation associateInOrganization member)	Government.kif 2407-2407	associate in organization is a subrelation of member
(documentation associateInOrganization EnglishLanguage "(associateInOrganization ?AGENT ?GROUP) means that ?AGENT is associated in some way with the Group ?GROUP. This includes participation as a guest or observer, as well as being a full member. See member for a more specific relation.")	Government.kif 2409-2413	associate in organization is a subrelation of member

appearance as argument number 2

(format EnglishLanguage associateInOrganization "%2 is %n an associate in organization of %1")	domainEnglishFormat.kif 198-198
(format ChineseTraditionalLanguage associateInOrganization "%2 %n 是組織 %1 的 associated ")	domainEnglishFormat.kif 199-199
(format ChineseLanguage associateInOrganization "%2 %n 是组织 %1 的 associated ")	domainEnglishFormat.kif 200-200
(termFormat EnglishLanguage associateInOrganization "associate in organization")	domainEnglishFormat.kif 8776-8776
(termFormat ChineseTraditionalLanguage associateInOrganization "在組織中關聯")	domainEnglishFormat.kif 8777-8777
(termFormat ChineseLanguage associateInOrganization "在组织中关联")	domainEnglishFormat.kif 8778-8778

consequent

(=>
(associateWithStatus ?AGENT ?STATUS ?GROUP)
(associateInOrganization ?AGENT ?GROUP))

If X associate with status Y for Z, then Z is an associate in organization of X