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 7910-7911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7908-7908 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 7928-7928 Unskilled occupation is disjoint from skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 200-200 Aeronautical engineer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 408-408 Astronaut is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3652-3652 Banker is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Dining.kif 777-777 Chef is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18300-18300 Clerical secretary is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20173-20173 Coach is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20177-20177 Game referee is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 415-415 Photographer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 399-399 Pilot is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20329-20329 Police officer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20365-20365 Private detective is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18411-18411 Sailor is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 422-422 Tailor is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18292-18292 Treasurer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order. Biography.kif 437-437 ArtisticOccupation is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26348-26348 Bartender is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18351-18351 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 7932-7932 Occupational trade is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7937-7937 Profession is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Sports.kif 1280-1280 Professional athlete is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Sports.kif 377-377 ProfessionalGamePlayer is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30204-30204 Safety position is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18296-18296 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 7913-7920


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