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 8288-8289
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8286-8286

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8306-8306
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 433-433
(instance Astronaut SkilledOccupation) Biography.kif 640-640
(instance Banker SkilledOccupation) FinancialOntology.kif 3648-3648
(instance Chef SkilledOccupation) Dining.kif 824-824
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18892-18892
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20796-20796
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20800-20800
(instance Photographer SkilledOccupation) Biography.kif 647-647
(instance Pilot SkilledOccupation) Biography.kif 631-631
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20952-20952
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20988-20988
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 19003-19003
(instance Tailor SkilledOccupation) Biography.kif 654-654
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18884-18884
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26917-26917
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18943-18943
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8310-8310
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8315-8315
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1353-1353
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30724-30724
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18888-18888

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


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