| 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 | The number 1 argument of role appoints role is an instance of agent |
| (domain roleAppointsRole 2 SocialRole) | Government.kif 1611-1611 | The number 2 argument of role appoints role is an instance of social role |
| (domain roleAppointsRole 3 SocialRole) | Government.kif 1612-1612 | The number 3 argument of role appoints role is an instance of social role |
| (instance roleAppointsRole TernaryPredicate) | Government.kif 1609-1609 | 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 50304-50304 | |
| (termFormat ChineseTraditionalLanguage roleAppointsRole "角色任命角色") | domainEnglishFormat.kif 50303-50303 | |
| (termFormat EnglishLanguage roleAppointsRole "role appoints role") | domainEnglishFormat.kif 50302-50302 |
|
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