OccupationalRole - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OccupationalRole

OccupationalRole(occupational role)

au_pair, comber, handyman, harpooneer, harpooner, jack_of_all_trades, odd-job_man, virologist

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22292-22298
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22287-22290
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22286-22286	Occupational role is a subclass of social role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22199	Business person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22414-22414	Diplomat is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22464-22464	Government person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22511-22511	Military person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22501-22501	Store owner is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8301-8301	Manual labor is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22327-22327	Occupational domain is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8286-8286	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41604-41604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41603-41603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41602-41602
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 451-451
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 454-454
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 456-456
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 490-490
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 455-455

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22300-22304	If an attribute is an instance of occupational role and an entity the attribute the attribute, then the entity is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22312-22325	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22306-22310	If an attribute is an instance of occupational role, 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

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