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

Formal Language: 



KB Term:  Term intersection
English Word: 

  associateWithStatus

 Sigma KEE - associateWithStatus
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 数量 是 施事体 的 instance
(domain associateWithStatus 2 RelationalAttribute) Government.kif 2400-2400 与地位相关联 的 2 数量 是 关联属性 的 instance
(domain associateWithStatus 3 Group) Government.kif 2401-2401 与地位相关联 的 3 数量 是 群组 的 instance
(instance associateWithStatus TernaryPredicate) Government.kif 2398-2398 与地位相关联 是 三元谓语 的 instance

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners