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 SkilledOccupation e' uma sub-classe de OccupationalRole

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


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