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 熟练的职业 是 职业角色 的 subclass

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8278-8278 非专业的职业 和 % 2 是 disjoint
(instance AeronauticalEngineer SkilledOccupation) Biography.kif 433-433 航空工程师 是 熟练的职业 的 instance
(instance Astronaut SkilledOccupation) Biography.kif 640-640 Astronaut 是 熟练的职业 的 instance
(instance Banker SkilledOccupation) FinancialOntology.kif 3648-3648 银行家 是 熟练的职业 的 instance
(instance Chef SkilledOccupation) Dining.kif 824-824 Chef 是 熟练的职业 的 instance
(instance ClericalSecretary SkilledOccupation) Mid-level-ontology.kif 18864-18864 文书秘书 是 熟练的职业 的 instance
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20768-20768 教练 是 熟练的职业 的 instance
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20772-20772 比赛裁判 是 熟练的职业 的 instance
(instance Photographer SkilledOccupation) Biography.kif 647-647 摄影师 是 熟练的职业 的 instance
(instance Pilot SkilledOccupation) Biography.kif 631-631 飞行员 是 熟练的职业 的 instance
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20924-20924 警官 是 熟练的职业 的 instance
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20960-20960 私家侦探 是 熟练的职业 的 instance
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18975-18975 水手 是 熟练的职业 的 instance
(instance Tailor SkilledOccupation) Biography.kif 654-654 裁缝 是 熟练的职业 的 instance
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18856-18856 出纳员 是 熟练的职业 的 instance
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667 ArtisticOccupation 是 熟练的职业 的 subclass
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26872-26872 Bartender 是 熟练的职业 的 subclass
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18915-18915 娱乐专业 是 熟练的职业 的 subclass
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 军衔 是 熟练的职业 的 subclass
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8282-8282 职业贸易 是 熟练的职业 的 subclass
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8287-8287 职业 是 熟练的职业 的 subclass
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1353-1353 ProfessionalAthlete 是 熟练的职业 的 subclass
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446 ProfessionalGamePlayer 是 熟练的职业 的 subclass
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30688-30688 SafetyPosition 是 熟练的职业 的 subclass
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18860-18860 销售职位 是 熟练的职业 的 subclass

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