Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SkilledOccupation

 Sigma KEE - SkilledOccupation
SkilledOccupation(skilled occupation)Germanist, Teutonist, agriculturalist, agriculturist, agronomist, alternative_medicine, art_critic, art_dealer, art_director, art_editor, assayer, astrologer, astrologist, auditor, auteur, ayah, baby_doctor, bibliographer, bibliopole, bibliopolist, bibliotist, calling, career, clothes_designer, complementary_medicine, cosmographer, cosmographist, couturier, criminologist, cryptanalyst, cryptographer, cryptologist, crystallographer, cultivator, designer, divider, drafting, draftsman, draftsperson, draughtsman, dressmaking, fashion_designer, glossarist, grower, herbal_medicine, hypnotiser, hypnotist, hypnotizer, law, learned_profession...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8261-8262
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

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8279-8279 Unskilled occupation is disjoint from skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 433-433 Aeronautical engineer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 640-640 Astronaut is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3648 Banker is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Dining.kif 824-824 Chef is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18865-18865 Clerical secretary is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20769-20769 Coach is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20773-20773 Game referee is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 647-647 Photographer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 631-631 Pilot is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20925-20925 Police officer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20961-20961 Private detective is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18976-18976 Sailor is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 654-654 Tailor is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18857-18857 Treasurer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 667-667 Artistic occupation is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26884-26884 Bartender is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18916-18916 Entertainment profession is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Military.kif 245-245 Military rank is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8283-8283 Occupational trade is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8288-8288 Profession is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Sports.kif 1352-1352 Professional athlete is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Sports.kif 446-446 Professional game player is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30700-30700 Safety position is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18861-18861 Sales position is a subclass of skilled occupation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8264-8271


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