| appearance as argument number 1 |
|
| (documentation OccupationalDomain EnglishLanguage "A Class of OccupationalRoles defined as having at least one Process Class being a typicalAction and also the purpose of the occupation.") | Mid-level-ontology.kif 22225-22226 | |
| (subclass OccupationalDomain OccupationalRole) | Mid-level-ontology.kif 22224-22224 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OccupationalDomain "occupational domain") | domainEnglishFormat.kif 65273-65273 |
| antecedent |
|
|
| (=> (and (instance ?OCCD OccupationalDomain) (instance ?X (AttrFn CognitiveAgent ?OCCD))) (exists (?PCLASS) (and (typicalAction ?PCLASS (AttrFn CognitiveAgent ?OCCD)) (hasPurpose ?X (exists (?P) (and (instance ?P ?PCLASS) (agent ?X ?P))))))) |
Mid-level-ontology.kif 22229-22242 |
|
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