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 8479-8480
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8477-8477

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8497-8497
(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 19123-19123
(instance Coach SkilledOccupation) Mid-level-ontology.kif 21027-21027
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 21031-21031
(instance Photographer SkilledOccupation) Biography.kif 647-647
(instance Pilot SkilledOccupation) Biography.kif 631-631
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 21183-21183
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 21219-21219
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 19234-19234
(instance Tailor SkilledOccupation) Biography.kif 654-654
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 19115-19115
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 27148-27148
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 19174-19174
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8501-8501
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8506-8506
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1353-1353
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30957-30957
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 19119-19119

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


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