| appearance as argument number 1 |
|
| (documentation roleApprovesRole EnglishLanguage "(roleApprovesRole ?ORG ?APPROVER ?APPOINTED) means that in the Organization or GeopoliticalArea ?ORG, the agent holding the SocialRole ?APPROVER has the authority to approve (or disapprove) of an appointee for the role ?APPOINTED.") | Government.kif 1624-1627 | |
| (domain roleApprovesRole 1 AutonomousAgent) | Government.kif 1620-1620 | 角色批准角色 的 1 数量 是 施事体 的 instance |
| (domain roleApprovesRole 2 SocialRole) | Government.kif 1621-1621 | 角色批准角色 的 2 数量 是 身分 的 instance |
| (domain roleApprovesRole 3 SocialRole) | Government.kif 1622-1622 | 角色批准角色 的 3 数量 是 身分 的 instance |
| (instance roleApprovesRole TernaryPredicate) | Government.kif 1619-1619 | 角色批准角色 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roleApprovesRole "%1 %n{不} role 对于 %3 认同角色 %2 ") | domainEnglishFormat.kif 2175-2175 | |
| (format ChineseTraditionalLanguage roleApprovesRole "%1 %n{不} role 對於 %3 認同角色 %2 ") | domainEnglishFormat.kif 2174-2174 | |
| (format EnglishLanguage roleApprovesRole "%1 %n{doesn't} role approves role %2 for %3") | domainEnglishFormat.kif 2173-2173 | |
| (termFormat ChineseLanguage roleApprovesRole "角色批准角色") | domainEnglishFormat.kif 50272-50272 | |
| (termFormat ChineseTraditionalLanguage roleApprovesRole "角色批准角色") | domainEnglishFormat.kif 50271-50271 | |
| (termFormat EnglishLanguage roleApprovesRole "role approves role") | domainEnglishFormat.kif 50270-50270 |
|
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