| 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 | roleAppointsRole の数値 1 引数は AutonomousAgent の instance では %n |
| (domain roleAppointsRole 2 SocialRole) | Government.kif 1611-1611 | roleAppointsRole の数値 2 引数は 社会的役割 の instance では %n |
| (domain roleAppointsRole 3 SocialRole) | Government.kif 1612-1612 | roleAppointsRole の数値 3 引数は 社会的役割 の instance では %n |
| (instance roleAppointsRole TernaryPredicate) | Government.kif 1609-1609 | roleAppointsRole は 3進述語 の instance では %n |
| 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 50299-50299 | |
| (termFormat ChineseTraditionalLanguage roleAppointsRole "角色任命角色") | domainEnglishFormat.kif 50298-50298 | |
| (termFormat EnglishLanguage roleAppointsRole "role appoints role") | domainEnglishFormat.kif 50297-50297 |
|
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