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 9447-9448
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 9445-9445

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 9503-9503
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 441-441
(instance Astronaut SkilledOccupation) Biography.kif 648-648
(instance Banker SkilledOccupation) FinancialOntology.kif 3666-3666
(instance Chef SkilledOccupation) Dining.kif 824-824
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 20453-20453
(instance Coach SkilledOccupation) Mid-level-ontology.kif 22403-22403
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 22407-22407
(instance Photographer SkilledOccupation) Biography.kif 655-655
(instance Pilot SkilledOccupation) Biography.kif 639-639
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 22559-22559
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 22595-22595
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 20564-20564
(instance Tailor SkilledOccupation) Biography.kif 662-662
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 20445-20445
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 675-675
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 28542-28542
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 20504-20504
(subclass MilitaryRank SkilledOccupation) Military.kif 312-312
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 9507-9507
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 9512-9512
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1366-1366
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 458-458
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 32393-32393
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 20449-20449

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 9450-9457


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