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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SkilledOccupation
SkilledOccupation(skilled occupation)Germanist, Teutonist, agriculturalist, agriculturist, agronomist, alternative_medicine, architecture, 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...

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


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

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 7948-7948 Unskilled occupation is disjoint from skilled occupation
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 200-200 Aeronautical engineer is an instance of skilled occupation
(instance Astronaut SkilledOccupation) Biography.kif 402-402 Astronaut is an instance of skilled occupation
(instance Banker SkilledOccupation) FinancialOntology.kif 3546-3546 Banker is an instance of skilled occupation
(instance Chef SkilledOccupation) Dining.kif 777-777 Chef is an instance of skilled occupation
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 16592-16592 Clerical secretary is an instance of skilled occupation
(instance Coach SkilledOccupation) Mid-level-ontology.kif 18425-18425 Coach is an instance of skilled occupation
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 18429-18429 Game referee is an instance of skilled occupation
(instance Photographer SkilledOccupation) Biography.kif 409-409 Photographer is an instance of skilled occupation
(instance Pilot SkilledOccupation) Biography.kif 393-393 Pilot is an instance of skilled occupation
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 18595-18595 Police officer is an instance of skilled occupation
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 18631-18631 Private detective is an instance of skilled occupation
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 16730-16730 Sailor is an instance of skilled occupation
(instance Tailor SkilledOccupation) Biography.kif 416-416 Tailor is an instance of skilled occupation
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 16550-16550 Treasurer is an instance of skilled occupation
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 431-431 ArtisticOccupation is a subclass of skilled occupation
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 25058-25058 Bartender is a subclass of skilled occupation
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 16643-16643 Entertainment profession is a subclass of skilled occupation
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 Military rank is a subclass of skilled occupation
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 7952-7952 Occupational trade is a subclass of skilled occupation
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 7957-7957 Profession is a subclass of skilled occupation
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1204-1204 Professional athlete is a subclass of skilled occupation
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 332-332 ProfessionalGamePlayer is a subclass of skilled occupation
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 16588-16588 Sales position is a subclass of skilled occupation
(subclass ServicePosition SkilledOccupation) Mid-level-ontology.kif 16597-16597 Service position 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 7931-7938


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners