Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  roleApprovesRole

Sigma KEE - roleApprovesRole
roleApprovesRole

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 1660-1663
(domain roleApprovesRole 1 AutonomousAgent) Government.kif 1656-1656 The number 1 argument of role approves role is an instance of agent
(domain roleApprovesRole 2 SocialRole) Government.kif 1657-1657 The number 2 argument of role approves role is an instance of social role
(domain roleApprovesRole 3 SocialRole) Government.kif 1658-1658 The number 3 argument of role approves role is an instance of social role
(instance roleApprovesRole TernaryPredicate) Government.kif 1655-1655 role approves role is an instance of ternary predicate

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 50270-50270
(termFormat ChineseTraditionalLanguage roleApprovesRole "角色批准角色") domainEnglishFormat.kif 50269-50269
(termFormat EnglishLanguage roleApprovesRole "role approves role") domainEnglishFormat.kif 50268-50268


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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