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 8261-8262
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8259-8259 熟练的职业 是 职业角色 的 subclass

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


(disjoint UnskilledOccupation SkilledOccupation) Mid-level-ontology.kif 8279-8279 非专业的职业 和 % 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 18865-18865 文书秘书 是 熟练的职业 的 instance
(instance Coach SkilledOccupation) Mid-level-ontology.kif 20769-20769 教练 是 熟练的职业 的 instance
(instance GameReferee SkilledOccupation) Mid-level-ontology.kif 20773-20773 比赛裁判 是 熟练的职业 的 instance
(instance Photographer SkilledOccupation) Biography.kif 647-647 摄影师 是 熟练的职业 的 instance
(instance Pilot SkilledOccupation) Biography.kif 631-631 飞行员 是 熟练的职业 的 instance
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20925-20925 警官 是 熟练的职业 的 instance
(instance PrivateDetective SkilledOccupation) Mid-level-ontology.kif 20961-20961 私家侦探 是 熟练的职业 的 instance
(instance Sailor SkilledOccupation) Mid-level-ontology.kif 18976-18976 水手 是 熟练的职业 的 instance
(instance Tailor SkilledOccupation) Biography.kif 654-654 裁缝 是 熟练的职业 的 instance
(instance Treasurer SkilledOccupation) Mid-level-ontology.kif 18857-18857 出纳员 是 熟练的职业 的 instance
(subclass ArtisticOccupation SkilledOccupation) Biography.kif 667-667 ArtisticOccupation 是 熟练的职业 的 subclass
(subclass Bartender SkilledOccupation) Mid-level-ontology.kif 26884-26884 Bartender 是 熟练的职业 的 subclass
(subclass EntertainmentProfession SkilledOccupation) Mid-level-ontology.kif 18916-18916 娱乐专业 是 熟练的职业 的 subclass
(subclass MilitaryRank SkilledOccupation) Military.kif 245-245 军衔 是 熟练的职业 的 subclass
(subclass OccupationalTrade SkilledOccupation) Mid-level-ontology.kif 8283-8283 职业贸易 是 熟练的职业 的 subclass
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8288-8288 职业 是 熟练的职业 的 subclass
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1352-1352 ProfessionalAthlete 是 熟练的职业 的 subclass
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 446-446 ProfessionalGamePlayer 是 熟练的职业 的 subclass
(subclass SafetyPosition SkilledOccupation) Mid-level-ontology.kif 30700-30700 SafetyPosition 是 熟练的职业 的 subclass
(subclass SalesPosition SkilledOccupation) Mid-level-ontology.kif 18861-18861 销售职位 是 熟练的职业 的 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 8264-8271


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