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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SkilledOccupation

Sigma KEE - SkilledOccupation
SkilledOccupation

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


(documentation SkilledOccupation EnglishLanguage "Any Position which requires learning a set of skills.") Mid-level-ontology.kif 7868-7869
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 7866-7866

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 7886-7886
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 200-200
(instance Astronaut SkilledOccupation) Biography.kif 408-408
(instance Banker SkilledOccupation) FinancialOntology.kif 3652-3652
(instance Chef SkilledOccupation) Dining.kif 777-777
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18240-18240
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20110-20110
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20114-20114
(instance Photographer SkilledOccupation) Biography.kif 415-415
(instance Pilot SkilledOccupation) Biography.kif 399-399
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20266-20266
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20302-20302
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18351-18351
(instance Tailor SkilledOccupation) Biography.kif 422-422
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18232-18232
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 437-437
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26256-26256
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18291-18291
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 7890-7890
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 7895-7895
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1280-1280
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 377-377
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30102-30102
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18236-18236

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


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