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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8220-8221
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8218-8218

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8238-8238
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 200-200
(instance Astronaut SkilledOccupation) Biography.kif 408-408
(instance Banker SkilledOccupation) FinancialOntology.kif 3659-3659
(instance Chef SkilledOccupation) Dining.kif 824-824
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18646-18646
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20550-20550
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20554-20554
(instance Photographer SkilledOccupation) Biography.kif 415-415
(instance Pilot SkilledOccupation) Biography.kif 399-399
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20706-20706
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20742-20742
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18757-18757
(instance Tailor SkilledOccupation) Biography.kif 422-422
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18638-18638
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 437-437
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26777-26777
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18697-18697
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8242-8242
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8247-8247
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1352-1352
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 445-445
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30615-30615
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18642-18642

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


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 is open source software produced by Articulate Software and its partners