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 23183-23189
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23178-23181
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23177-23177	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 23090-23090	Business person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23305-23305	Diplomat is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23355-23355	Government person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23402-23402	Military person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23392-23392	Store owner is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8974-8974	Manual labor is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23218-23218	Occupational domain is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8959-8959	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41633-41633	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41632-41632	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41631-41631	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 451-451	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 454-454	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 456-456	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 490-490	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 749-749	Skilled occupation is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 455-455	Skilled occupation is a subclass of occupational role

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23191-23195	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 23203-23216	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 23197-23201	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