| 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 | roleNominatesRole の数値 1 引数は AutonomousAgent の instance では %n |
| (domain roleNominatesRole 2 SocialRole) | Government.kif 1631-1631 | roleNominatesRole の数値 2 引数は 社会的役割 の instance では %n |
| (domain roleNominatesRole 3 SocialRole) | Government.kif 1632-1632 | roleNominatesRole の数値 3 引数は 社会的役割 の instance では %n |
| (instance roleNominatesRole TernaryPredicate) | Government.kif 1629-1629 | roleNominatesRole は 3進述語 の instance では %n |
| 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 50278-50278 | |
| (termFormat ChineseTraditionalLanguage roleNominatesRole "角色提名角色") | domainEnglishFormat.kif 50277-50277 | |
| (termFormat EnglishLanguage roleNominatesRole "role nominates role") | domainEnglishFormat.kif 50276-50276 |
|
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