OccupationalDomain - Sigma Knowledge base Browser

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 22559-22560
(subclass OccupationalDomain OccupationalRole)	Mid-level-ontology.kif 22558-22558	Occupational domain is a subclass of occupational role

appearance as argument number 2

(termFormat EnglishLanguage OccupationalDomain "occupational domain")

domainEnglishFormat.kif 65309-65309

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 22563-22576

If an attribute is an instance of occupational domain and a physical is an instance of the attr of cognitive agent and the attribute,
then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute and the physical has the purpose there exists an entity such that the entity is an instance of the kind of process and the entity is an agent of the physical

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

KB Term:			Term intersection

English Word: