| appearance as argument number 1 |
|
| (documentation roleNominatesRole EnglishLanguage "(roleNominatesRole ?ORG ?NOMINATOR ?NOMINATED) means that in the Organization or GeopoliticalArea ?ORG, the agent holding the SocialRole ?NOMINATOR has the authority to nominate one or more persons to fill the role ?NOMINATED.") | Government.kif 1634-1637 | |
| (domain roleNominatesRole 1 AutonomousAgent) | Government.kif 1630-1630 | The number 1 argument of role nominates role is an instance of agent |
| (domain roleNominatesRole 2 SocialRole) | Government.kif 1631-1631 | The number 2 argument of role nominates role is an instance of social role |
| (domain roleNominatesRole 3 SocialRole) | Government.kif 1632-1632 | The number 3 argument of role nominates role is an instance of social role |
| (instance roleNominatesRole TernaryPredicate) | Government.kif 1629-1629 | role nominates role is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roleNominatesRole "%1 %n{不} role 对于 %3 提名角色 %2 ") | domainEnglishFormat.kif 2179-2179 | |
| (format ChineseTraditionalLanguage roleNominatesRole "%1 %n{不} role 對於 %3 提名角色 %2 ") | domainEnglishFormat.kif 2178-2178 | |
| (format EnglishLanguage roleNominatesRole "%1 %n{doesn't} role nominates role %2 for %3") | domainEnglishFormat.kif 2177-2177 | |
| (termFormat ChineseLanguage roleNominatesRole "角色提名角色") | domainEnglishFormat.kif 50316-50316 | |
| (termFormat ChineseTraditionalLanguage roleNominatesRole "角色提名角色") | domainEnglishFormat.kif 50315-50315 | |
| (termFormat EnglishLanguage roleNominatesRole "role nominates role") | domainEnglishFormat.kif 50314-50314 |
|
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