Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - associateWithStatus
associateWithStatus

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


(documentation associateWithStatus EnglishLanguage "(associateWithStatus ?AGT ?STATUS ?GROUP) means that the Agent ?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 2386-2391
(domain associateWithStatus 1 Agent) Government.kif 2382-2382
(domain associateWithStatus 2 RelationalAttribute) Government.kif 2383-2383
(domain associateWithStatus 3 Group) Government.kif 2384-2384
(instance associateWithStatus TernaryPredicate) Government.kif 2381-2381

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


(format EnglishLanguage associateWithStatus "%1 %n{doesn't} associate with status %2 for %3") domainEnglishFormat.kif 60-60
(termFormat EnglishLanguage associateWithStatus "associate with status") domainEnglishFormat.kif 1900-1900

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


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))
Government.kif 2393-2395
(=>
    (associateWithStatus ?AGENT FullMember ?GROUP)
    (member ?AGENT ?GROUP))
Government.kif 2397-2399
(=>
    (associateWithStatus ?AGENT SuspendedMember ?GROUP)
    (not
        (member ?AGENT ?GROUP)))
Government.kif 2401-2403


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners