TreeView Knowledge Base Browser

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

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

KB Term:			Term intersection

English Word: