Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProfessionalFn |
| appearance as argument number 1 |
|
| (documentation ProfessionalFn EnglishLanguage "A social role that is an occupation") | Mid-level-ontology.kif 9594-9595 | |
| (instance ProfessionalFn UnaryFunction) | Mid-level-ontology.kif 9598-9598 | Profession is an instance of unary function |
| (domain ProfessionalFn 1 SocialRole) | Mid-level-ontology.kif 9599-9599 | The number 1 argument of profession is an instance of social role |
| (range ProfessionalFn OccupationalRole) | Mid-level-ontology.kif 9600-9600 | The range of profession is an instance of occupational role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ProfessionalFn "profession") | Mid-level-ontology.kif 9596-9596 |
| antecedent |
|
|
| (=> (equal ?A2 (ProfessionalFn ?A1)) (subAttribute ?A2 ?A1)) |
Mid-level-ontology.kif 9602-9604 | If equal X and profession Y, then X is a subattribute of Y |
| (=> (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 |
|