associateWithStatus |
appearance as argument number 1 |
(documentation associateWithStatus EnglishLanguage "(associateWithStatus ?AGT ?STATUS ?GROUP) means that the AutonomousAgent ?AGT has the RelationalAttribute ?STATUS in the Group ?GROUP. For example, (associateWithStatus UnitedStates PermanentMember UnitedNationsSecurityCouncil) means that the &UnitedStates has the status of a permanent member in the U.N. Security Council.") | Government.kif 2439-2444 | |
(domain associateWithStatus 1 AutonomousAgent) | Government.kif 2435-2435 | |
(domain associateWithStatus 2 RelationalAttribute) | Government.kif 2436-2436 | |
(domain associateWithStatus 3 Group) | Government.kif 2437-2437 | |
(instance associateWithStatus TernaryPredicate) | Government.kif 2434-2434 |
appearance as argument number 2 |
(format ChineseLanguage associateWithStatus "%1 %n{不是} 对于 %3 associate 和状态 %2") | domainEnglishFormat.kif 204-204 | |
(format ChineseTraditionalLanguage associateWithStatus "%1 %n{不是} 對於 %3 associate 和狀態 %2 ") | domainEnglishFormat.kif 203-203 | |
(format EnglishLanguage associateWithStatus "%1 %n{doesn't} associate with status %2 for %3") | domainEnglishFormat.kif 202-202 | |
(termFormat ChineseLanguage associateWithStatus "与地位相关联") | domainEnglishFormat.kif 8796-8796 | |
(termFormat ChineseTraditionalLanguage associateWithStatus "與地位相關聯") | domainEnglishFormat.kif 8795-8795 | |
(termFormat EnglishLanguage associateWithStatus "associate with status") | domainEnglishFormat.kif 8794-8794 |
antecedent |
(=> (associateWithStatus ?AGENT ?STATUS ?GROUP) (associateInOrganization ?AGENT ?GROUP)) |
Government.kif 2446-2448 | |
(=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2450-2452 | |
(=> (associateWithStatus ?AGENT SuspendedMember ?GROUP) (not (member ?AGENT ?GROUP))) |
Government.kif 2454-2456 |