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 8260-8261
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8258-8258 SkilledOccupation è una sottoclasse di Occupazione

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8278-8278 UnskilledOccupation è disgiunto da SkilledOccupation
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 433-433 AeronauticalEngineer è un' istanza di SkilledOccupation
(instance Astronaut SkilledOccupation) Biography.kif 640-640 Astronaut è un' istanza di SkilledOccupation
(instance Banker SkilledOccupation) FinancialOntology.kif 3648-3648 Banker è un' istanza di SkilledOccupation
(instance Chef SkilledOccupation) Dining.kif 824-824 Chef è un' istanza di SkilledOccupation
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18864-18864 ClericalSecretary è un' istanza di SkilledOccupation
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20768-20768 Coach è un' istanza di SkilledOccupation
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20772-20772 GameReferee è un' istanza di SkilledOccupation
(instance Photographer SkilledOccupation) Biography.kif 647-647 Photographer è un' istanza di SkilledOccupation
(instance Pilot SkilledOccupation) Biography.kif 631-631 Pilot è un' istanza di SkilledOccupation
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20924-20924 PoliceOfficer è un' istanza di SkilledOccupation
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20960-20960 PrivateDetective è un' istanza di SkilledOccupation
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18975-18975 Sailor è un' istanza di SkilledOccupation
(instance Tailor SkilledOccupation) Biography.kif 654-654 Tailor è un' istanza di SkilledOccupation
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18856-18856 Treasurer è un' istanza di SkilledOccupation
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667 ArtisticOccupation è una sottoclasse di SkilledOccupation
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26872-26872 Bartender è una sottoclasse di SkilledOccupation
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18915-18915 EntertainmentProfession è una sottoclasse di SkilledOccupation
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 MilitaryRank è una sottoclasse di SkilledOccupation
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8282-8282 OccupationalTrade è una sottoclasse di SkilledOccupation
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8287-8287 Profession è una sottoclasse di SkilledOccupation
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1353-1353 ProfessionalAthlete è una sottoclasse di SkilledOccupation
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446 ProfessionalGamePlayer è una sottoclasse di SkilledOccupation
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30688-30688 SafetyPosition è una sottoclasse di SkilledOccupation
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18860-18860 SalesPosition è una sottoclasse di SkilledOccupation

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 8263-8270


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