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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roleAppointsRole

Sigma KEE - roleAppointsRole
roleAppointsRole

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


(documentation roleAppointsRole EnglishLanguage "(roleAppointsRole ?ORG ?APPOINTER ?APPOINTED) means that in the Organization or GeopoliticalArea ?ORG, the agent holding the SocialRole ?APPOINTER has the authority to appoint a person to fill the role ?APPOINTED.") Government.kif 1614-1617
(domain roleAppointsRole 1 AutonomousAgent) Government.kif 1610-1610 角色任命角色 的 1 数量 是 施事体instance
(domain roleAppointsRole 2 SocialRole) Government.kif 1611-1611 角色任命角色 的 2 数量 是 身分instance
(domain roleAppointsRole 3 SocialRole) Government.kif 1612-1612 角色任命角色 的 3 数量 是 身分instance
(instance roleAppointsRole TernaryPredicate) Government.kif 1609-1609 角色任命角色三元谓语instance

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


(format ChineseLanguage roleAppointsRole "%1 %n{不} 对于 %3 的 role 委托角色 %2 ") domainEnglishFormat.kif 2171-2171
(format ChineseTraditionalLanguage roleAppointsRole "%1 %n{不} 對於 %3 的 role 委託角色 %2 ") domainEnglishFormat.kif 2170-2170
(format EnglishLanguage roleAppointsRole "%1 %n{doesn't} role appoints role %2 for %3") domainEnglishFormat.kif 2169-2169
(termFormat ChineseLanguage roleAppointsRole "角色任命角色") domainEnglishFormat.kif 50266-50266
(termFormat ChineseTraditionalLanguage roleAppointsRole "角色任命角色") domainEnglishFormat.kif 50265-50265
(termFormat EnglishLanguage roleAppointsRole "role appoints role") domainEnglishFormat.kif 50264-50264


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