SkilledOccupation - Sigma Knowledge base Browser

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 は OccupationalRole の subclass では %n

appearance as argument number 2

(disjoint UnskilledOccupation SkilledOccupation)	Mid-level-ontology.kif 8279-8279	UnskilledOccupation と SkilledOccupation は disjoint では %n
(instance AeronauticalEngineer SkilledOccupation)	Biography.kif 433-433	AeronauticalEngineer は SkilledOccupation の instance では %n
(instance Astronaut SkilledOccupation)	Biography.kif 640-640	Astronaut は SkilledOccupation の instance では %n
(instance Banker SkilledOccupation)	FinancialOntology.kif 3648-3648	Banker は SkilledOccupation の instance では %n
(instance Chef SkilledOccupation)	Dining.kif 824-824	Chef は SkilledOccupation の instance では %n
(instance ClericalSecretary SkilledOccupation)	Mid-level-ontology.kif 18865-18865	ClericalSecretary は SkilledOccupation の instance では %n
(instance Coach SkilledOccupation)	Mid-level-ontology.kif 20769-20769	Coach は SkilledOccupation の instance では %n
(instance GameReferee SkilledOccupation)	Mid-level-ontology.kif 20773-20773	GameReferee は SkilledOccupation の instance では %n
(instance Photographer SkilledOccupation)	Biography.kif 647-647	Photographer は SkilledOccupation の instance では %n
(instance Pilot SkilledOccupation)	Biography.kif 631-631	Pilot は SkilledOccupation の instance では %n
(instance PoliceOfficer SkilledOccupation)	Mid-level-ontology.kif 20925-20925	PoliceOfficer は SkilledOccupation の instance では %n
(instance PrivateDetective SkilledOccupation)	Mid-level-ontology.kif 20961-20961	PrivateDetective は SkilledOccupation の instance では %n
(instance Sailor SkilledOccupation)	Mid-level-ontology.kif 18976-18976	Sailor は SkilledOccupation の instance では %n
(instance Tailor SkilledOccupation)	Biography.kif 654-654	Tailor は SkilledOccupation の instance では %n
(instance Treasurer SkilledOccupation)	Mid-level-ontology.kif 18857-18857	Treasurer は SkilledOccupation の instance では %n
(subclass ArtisticOccupation SkilledOccupation)	Biography.kif 667-667	ArtisticOccupation は SkilledOccupation の subclass では %n
(subclass Bartender SkilledOccupation)	Mid-level-ontology.kif 26884-26884	Bartender は SkilledOccupation の subclass では %n
(subclass EntertainmentProfession SkilledOccupation)	Mid-level-ontology.kif 18916-18916	EntertainmentProfession は SkilledOccupation の subclass では %n
(subclass MilitaryRank SkilledOccupation)	Military.kif 245-245	MilitaryRank は SkilledOccupation の subclass では %n
(subclass OccupationalTrade SkilledOccupation)	Mid-level-ontology.kif 8283-8283	OccupationalTrade は SkilledOccupation の subclass では %n
(subclass Profession SkilledOccupation)	Mid-level-ontology.kif 8288-8288	Profession は SkilledOccupation の subclass では %n
(subclass ProfessionalAthlete SkilledOccupation)	Sports.kif 1352-1352	ProfessionalAthlete は SkilledOccupation の subclass では %n
(subclass ProfessionalGamePlayer SkilledOccupation)	Sports.kif 446-446	ProfessionalGamePlayer は SkilledOccupation の subclass では %n
(subclass SafetyPosition SkilledOccupation)	Mid-level-ontology.kif 30700-30700	SafetyPosition は SkilledOccupation の subclass では %n
(subclass SalesPosition SkilledOccupation)	Mid-level-ontology.kif 18861-18861	SalesPosition は SkilledOccupation の subclass では %n

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

属性は SkilledOccupation の instance では %n 属性はオブジェクトの attribute では %n
工程工程は教育過程の instance では %n 工程はオブジェクトに ends %n{ない}

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

KB Term:			Term intersection

English Word: