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 22240-22246
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22235-22238
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22234-22234	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 22147-22147	Business person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22362-22362	Diplomat is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22412-22412	Government person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22459-22459	Military person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22449-22449	Store owner is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8274-8274	Manual labor is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22275-22275	Occupational domain is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8259-8259	Skilled occupation is a subclass of occupational role
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.	domainEnglishFormat.kif 41601-41601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41600-41600
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 22248-22252	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 22260-22273	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 22254-22258	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