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 2403-2408 | |
(domain associateWithStatus 1 AutonomousAgent) | Government.kif 2399-2399 | 域 與地位相關聯, 1 and AutonomousAgent |
(domain associateWithStatus 2 RelationalAttribute) | Government.kif 2400-2400 | 域 與地位相關聯, 2 and RelationalAttribute |
(domain associateWithStatus 3 Group) | Government.kif 2401-2401 | 域 與地位相關聯, 3 and Group |
(instance associateWithStatus TernaryPredicate) | Government.kif 2398-2398 | 例 與地位相關聯 and TernaryPredicate |
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 2410-2412 | |
(=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2414-2416 |
|
(=> (associateWithStatus ?AGENT SuspendedMember ?GROUP) (not (member ?AGENT ?GROUP))) |
Government.kif 2418-2420 |
|