TreeView Knowledge Base Browser - OccupationalRole

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OccupationalRole

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 22239-22245
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22234-22237
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22233-22233	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 22146-22146	Business person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22361-22361	Diplomat is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22411-22411	Government person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22458-22458	Military person is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22448-22448	Store owner is an instance of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8273-8273	Manual labor is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22274-22274	Occupational domain is a subclass of occupational role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8258-8258	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 22247-22251	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 22259-22272	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 22253-22257	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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