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

KB Term:  Term intersection
English Word: 

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
-------------------------


(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 9580-9580 Skilled occupation is a subclass of occupational role
(documentation SkilledOccupation EnglishLanguage "Any Position which requires learning a set of skills.") Mid-level-ontology.kif 9582-9583 Skilled occupation is a subclass of occupational role

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 9639-9639 Unskilled occupation is disjoint from skilled occupation
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 9643-9643 Occupational trade is a subclass of skilled occupation
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 9648-9648 Profession is a subclass of skilled occupation
(subclass ArtisticOccupation SkilledOccupation) Mid-level-ontology.kif 20422-20422 Artistic occupation is a subclass of skilled occupation
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 20794-20794 Treasurer is an instance of skilled occupation
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 20798-20798 Sales position is a subclass of skilled occupation
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 20802-20802 Clerical secretary is an instance of skilled occupation
(subclass ServicePosition SkilledOccupation) Mid-level-ontology.kif 20807-20807 Service position is a subclass of skilled occupation
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 20853-20853 Entertainment profession is a subclass of skilled occupation
(subclass SportsPosition SkilledOccupation) Mid-level-ontology.kif 20866-20866 Sports position is a subclass of skilled occupation
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 20913-20913 Sailor is an instance of skilled occupation
(instance Coach SkilledOccupation) Mid-level-ontology.kif 23011-23011 Coach is an instance of skilled occupation
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 23015-23015 Game referee is an instance of skilled occupation
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 23167-23167 Police officer is an instance of skilled occupation
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 23203-23203 Private detective is an instance of skilled occupation
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 29478-29478 Bartender is a subclass of skilled occupation
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 33320-33320 Safety position is a subclass of skilled occupation
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 441-441 Aeronautical engineer is an instance of skilled occupation
(instance Pilot SkilledOccupation) Biography.kif 639-639 Pilot is an instance of skilled occupation
(instance Astronaut SkilledOccupation) Biography.kif 648-648 Astronaut is an instance of skilled occupation
(instance Photographer SkilledOccupation) Biography.kif 655-655 Photographer is an instance of skilled occupation
(instance Tailor SkilledOccupation) Biography.kif 662-662 Tailor is an instance of skilled occupation
(instance Chef SkilledOccupation) Dining.kif 824-824 Chef is an instance of skilled occupation
(instance Banker SkilledOccupation) FinancialOntology.kif 3706-3706 Banker is an instance of skilled occupation
(subclass MilitaryRank SkilledOccupation) Military.kif 520-520 Military rank is a subclass of skilled occupation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?OCCUPATION SkilledOccupation)
        (attribute ?PERSON ?OCCUPATION))
    (exists (?TRAINING)
        (and
            (instance ?TRAINING EducationalProcess)
            (destination ?TRAINING ?PERSON))))		 Mid-level-ontology.kif 9585-9592 If X is an instance of skilled occupation and X is an attribute of Y, then there exists Z such that Z is an instance of educational process and Z ends up at Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners