| 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 1632-1635 | |
| (domain roleNominatesRole 1 AutonomousAgent) | Government.kif 1628-1628 | The number 1 argument of role nominates role is an instance of agent |
| (domain roleNominatesRole 2 SocialRole) | Government.kif 1629-1629 | The number 2 argument of role nominates role is an instance of social role |
| (domain roleNominatesRole 3 SocialRole) | Government.kif 1630-1630 | The number 3 argument of role nominates role is an instance of social role |
| (instance roleNominatesRole TernaryPredicate) | Government.kif 1627-1627 | role nominates role is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roleNominatesRole "%1 %n{不} role 对于 %3 提名角色 %2 ") | domainEnglishFormat.kif 2183-2183 | |
| (format ChineseTraditionalLanguage roleNominatesRole "%1 %n{不} role 對於 %3 提名角色 %2 ") | domainEnglishFormat.kif 2182-2182 | |
| (format EnglishLanguage roleNominatesRole "%1 %n{doesn't} role nominates role %2 for %3") | domainEnglishFormat.kif 2181-2181 | |
| (termFormat ChineseLanguage roleNominatesRole "角色提名角色") | domainEnglishFormat.kif 50309-50309 | |
| (termFormat ChineseTraditionalLanguage roleNominatesRole "角色提名角色") | domainEnglishFormat.kif 50308-50308 | |
| (termFormat EnglishLanguage roleNominatesRole "role nominates role") | domainEnglishFormat.kif 50307-50307 |
|
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