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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1650-1653
(domain roleAppointsRole 1 AutonomousAgent) Government.kif 1646-1646 The number 1 argument of role appoints role is an instance of agent
(domain roleAppointsRole 2 SocialRole) Government.kif 1647-1647 The number 2 argument of role appoints role is an instance of social role
(domain roleAppointsRole 3 SocialRole) Government.kif 1648-1648 The number 3 argument of role appoints role is an instance of social role
(instance roleAppointsRole TernaryPredicate) Government.kif 1645-1645 role appoints role is an instance of ternary predicate

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 50264-50264
(termFormat ChineseTraditionalLanguage roleAppointsRole "角色任命角色") domainEnglishFormat.kif 50263-50263
(termFormat EnglishLanguage roleAppointsRole "role appoints role") domainEnglishFormat.kif 50262-50262


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 is open source software produced by Articulate Software and its partners