Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hasSkillInRole |
| appearance as argument number 1 |
|
| (documentation hasSkillInRole EnglishLanguage "Similar to hasSkill, with the additional restriction that has the skill in a particular role") | Mid-level-ontology.kif 9618-9618 | |
| (instance hasSkillInRole TernaryPredicate) | Mid-level-ontology.kif 9621-9621 | has skill in role is an instance of ternary predicate |
| (domainSubclass hasSkillInRole 1 Process) | Mid-level-ontology.kif 9622-9622 | The number 1 argument of has skill in role is a subclass of process |
| (domain hasSkillInRole 2 SocialRole) | Mid-level-ontology.kif 9623-9623 | The number 2 argument of has skill in role is an instance of social role |
| (domain hasSkillInRole 3 AutonomousAgent) | Mid-level-ontology.kif 9624-9624 | The number 3 argument of has skill in role is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage hasSkillInRole "has skill in role") | Mid-level-ontology.kif 9619-9619 | |
| (format EnglishLanguage hasSkillInRole "%3 %p{has} %n{does not have} the skill to do %1 in their role as %2") | Mid-level-ontology.kif 9620-9620 |
| antecedent |
|
|
| (=> (hasSkillInRole ?PROC ?ROLE ?AGENT) (and (attribute ?AGENT ?ROLE) (hasSkill ?PROC ?AGENT))) |
Mid-level-ontology.kif 9626-9630 | If X has the skill to do Y in their role as Z, then Z is an attribute of X and X has the skill to do Y |
| consequent |
|
|
| (=> (attribute ?HUMAN (ProfessionalFn ?SOCIALROLE)) (exists (?WORK ?PROC ?CLASS) (and (instance ?WORK Working) (agent ?WORK ?HUMAN) (subProcess ?PROC ?WORK) (instance ?PROC ?CLASS) (subclass ?CLASS IntentionalProcess) (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN)))) |
Mid-level-ontology.kif 9606-9616 | If profession X is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of working (3) Y is an agent of Z (4) W is a subprocess of Z (5) W is an instance of V (6) V is a subclass of intentional process (7) Y has the skill to do V in their role as X |
|