Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - associateWithStatus
associateWithStatus

appearance as argument number 1
-------------------------


(instance associateWithStatus TernaryPredicate) Government.kif 2426-2426 associate with status is an instance of ternary predicate
(domain associateWithStatus 1 AutonomousAgent) Government.kif 2427-2427 The number 1 argument of associate with status is an instance of agent
(domain associateWithStatus 2 RelationalAttribute) Government.kif 2428-2428 The number 2 argument of associate with status is an instance of relational attribute
(domain associateWithStatus 3 Group) Government.kif 2429-2429 The number 3 argument of associate with status is an instance of group
(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 2431-2436 The number 3 argument of associate with status is an instance of group

appearance as argument number 2
-------------------------


(format EnglishLanguage associateWithStatus "%1 %n{doesn't} associate with status %2 for %3") domainEnglishFormat.kif 202-202
(format ChineseTraditionalLanguage associateWithStatus "%1 %n{不是} 對於 %3 associate 和狀態 %2 ") domainEnglishFormat.kif 203-203
(format ChineseLanguage associateWithStatus "%1 %n{不是} 对于 %3 associate 和状态 %2") domainEnglishFormat.kif 204-204
(termFormat EnglishLanguage associateWithStatus "associate with status") domainEnglishFormat.kif 8794-8794
(termFormat ChineseTraditionalLanguage associateWithStatus "與地位相關聯") domainEnglishFormat.kif 8795-8795
(termFormat ChineseLanguage associateWithStatus "与地位相关联") domainEnglishFormat.kif 8796-8796

antecedent
-------------------------


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))		 Government.kif 2438-2440 If X associate with status Y for Z, then Z is an associate in organization of X
(=>
    (associateWithStatus ?AGENT FullMember ?GROUP)
    (member ?AGENT ?GROUP))		 Government.kif 2442-2444 If X associate with status full member for Y, then X is a member of Y
(=>
    (associateWithStatus ?AGENT SuspendedMember ?GROUP)
    (not
        (member ?AGENT ?GROUP)))		 Government.kif 2446-2448 If X associate with status suspended member for Y, then X is not a member of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners