| 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 1650-1653 | |
| (domain roleAppointsRole 1 AutonomousAgent) | Government.kif 1646-1646 | roleAppointsRole の数値 1 引数は AutonomousAgent の instance では %n |
| (domain roleAppointsRole 2 SocialRole) | Government.kif 1647-1647 | roleAppointsRole の数値 2 引数は 社会的役割 の instance では %n |
| (domain roleAppointsRole 3 SocialRole) | Government.kif 1648-1648 | roleAppointsRole の数値 3 引数は 社会的役割 の instance では %n |
| (instance roleAppointsRole TernaryPredicate) | Government.kif 1645-1645 | 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 50264-50264 | |
| (termFormat ChineseTraditionalLanguage roleAppointsRole "角色任命角色") | domainEnglishFormat.kif 50263-50263 | |
| (termFormat EnglishLanguage roleAppointsRole "role appoints role") | domainEnglishFormat.kif 50262-50262 |
|
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