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 7150-7151
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 7148-7148

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 7168-7168
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 200-200
(instance Astronaut SkilledOccupation) Biography.kif 402-402
(instance Banker SkilledOccupation) FinancialOntology.kif 3589-3589
(instance Chef SkilledOccupation) Dining.kif 777-777
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 15404-15404
(instance Coach SkilledOccupation) Mid-level-ontology.kif 17174-17174
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 17178-17178
(instance Photographer SkilledOccupation) Biography.kif 409-409
(instance Pilot SkilledOccupation) Biography.kif 393-393
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 17330-17330
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 17366-17366
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 15515-15515
(instance Tailor SkilledOccupation) Biography.kif 416-416
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 15396-15396
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 431-431
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 23077-23077
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 15455-15455
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 7172-7172
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 7177-7177
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1204-1204
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 332-332
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 26915-26915
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 15400-15400

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 7153-7160


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