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 2380-2385
(domain associateWithStatus 1 Agent) Government.kif 2376-2376 domain associateWithStatus, 1 and Agent
(domain associateWithStatus 2 RelationalAttribute) Government.kif 2377-2377 domain associateWithStatus, 2 and RelationalAttribute
(domain associateWithStatus 3 Group) Government.kif 2378-2378 domain associateWithStatus, 3 and Group
(instance associateWithStatus TernaryPredicate) Government.kif 2375-2375 instance associateWithStatus 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 8803-8803 termFormat ChineseLanguage, associateWithStatus and "与地位相关联"
(termFormat ChineseTraditionalLanguage associateWithStatus "與地位相關聯") domainEnglishFormat.kif 8802-8802 termFormat ChineseTraditionalLanguage, associateWithStatus and "與地位相關聯"
(termFormat EnglishLanguage associateWithStatus "associate with status") domainEnglishFormat.kif 8801-8801 termFormat EnglishLanguage, associateWithStatus and "associate with status"

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


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))
Government.kif 2387-2389
(=>
    (associateWithStatus ?AGENT FullMember ?GROUP)
    (member ?AGENT ?GROUP))
Government.kif 2391-2393
(=>
    (associateWithStatus ?AGENT SuspendedMember ?GROUP)
    (not
        (member ?AGENT ?GROUP)))
Government.kif 2395-2397


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