Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlyingAircraft

 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 8261-8262
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8259-8259 SkilledOccupation ist eine teilkategorie von OccupationalRole

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8279-8279 UnskilledOccupation ist dijunkt von SkilledOccupation %n{nicht}
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 433-433 AeronauticalEngineer ist ein fall von SkilledOccupation %n{nicht}
(instance Astronaut SkilledOccupation) Biography.kif 640-640 Astronaut ist ein fall von SkilledOccupation %n{nicht}
(instance Banker SkilledOccupation) FinancialOntology.kif 3648-3648 Banker ist ein fall von SkilledOccupation %n{nicht}
(instance Chef SkilledOccupation) Dining.kif 824-824 Chef ist ein fall von SkilledOccupation %n{nicht}
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18865-18865 ClericalSecretary ist ein fall von SkilledOccupation %n{nicht}
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20769-20769 Coach ist ein fall von SkilledOccupation %n{nicht}
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20773-20773 GameReferee ist ein fall von SkilledOccupation %n{nicht}
(instance Photographer SkilledOccupation) Biography.kif 647-647 Photographer ist ein fall von SkilledOccupation %n{nicht}
(instance Pilot SkilledOccupation) Biography.kif 631-631 Pilot ist ein fall von SkilledOccupation %n{nicht}
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20925-20925 PoliceOfficer ist ein fall von SkilledOccupation %n{nicht}
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20961-20961 PrivateDetective ist ein fall von SkilledOccupation %n{nicht}
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18976-18976 Sailor ist ein fall von SkilledOccupation %n{nicht}
(instance Tailor SkilledOccupation) Biography.kif 654-654 Tailor ist ein fall von SkilledOccupation %n{nicht}
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18857-18857 Treasurer ist ein fall von SkilledOccupation %n{nicht}
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667 ArtisticOccupation ist eine teilkategorie von SkilledOccupation
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26884-26884 Bartender ist eine teilkategorie von SkilledOccupation
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18916-18916 EntertainmentProfession ist eine teilkategorie von SkilledOccupation
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 MilitaryRank ist eine teilkategorie von SkilledOccupation
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8283-8283 OccupationalTrade ist eine teilkategorie von SkilledOccupation
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8288-8288 Profession ist eine teilkategorie von SkilledOccupation
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1352-1352 ProfessionalAthlete ist eine teilkategorie von SkilledOccupation
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446 ProfessionalGamePlayer ist eine teilkategorie von SkilledOccupation
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30700-30700 SafetyPosition ist eine teilkategorie von SkilledOccupation
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18861-18861 SalesPosition ist eine teilkategorie von 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 8264-8271


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