occupation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - occupation

occupation

appearance as argument number 1

(documentation occupation EnglishLanguage "(occupation ?PERSON ?TYPE) means that the occupation of ?PERSON is ?TYPE. This predicate is most often used in combination with the function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn LawEnforcement)).")	Mid-level-ontology.kif 20781-20784
(domain occupation 1 Human)	Mid-level-ontology.kif 20786-20786	The number 1 argument of occupation is an instance of human
(domainSubclass occupation 2 FinancialTransaction)	Mid-level-ontology.kif 20787-20787	The number 2 argument of occupation is a subclass of financial transaction
(instance occupation BinaryPredicate)	Mid-level-ontology.kif 20785-20785	occupation is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage occupation "%2 %n 是 %1 的 occupation ")	domainEnglishFormat.kif 1823-1823
(format ChineseTraditionalLanguage occupation "%2 %n 是 %1 的 occupation ")	domainEnglishFormat.kif 1822-1822
(format EnglishLanguage occupation "%2 is %n an occupation of %1")	domainEnglishFormat.kif 1821-1821
(termFormat ChineseLanguage occupation "占用")	domainEnglishFormat.kif 41629-41629
(termFormat ChineseTraditionalLanguage occupation "佔用")	domainEnglishFormat.kif 41628-41628
(termFormat EnglishLanguage occupation "occupation")	domainEnglishFormat.kif 41627-41627

consequent

(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment))))	Mid-level-ontology.kif 19211-19217	If an attribute is an instance of entertainment profession and the attribute is an attribute of a human, then the occupation of performance is an occupation of the human or the occupation of content development is an occupation of the human
(=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing)))	Mid-level-ontology.kif 20935-20939	If an attribute is an instance of janitor and the attribute is an attribute of a human, then the occupation of washing is an occupation of the human
(=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking)))	Mid-level-ontology.kif 20969-20973	If an attribute is an instance of film making profession and the attribute is an attribute of a human, then the occupation of film making is an occupation of the human
(=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving)))	TransportDetail.kif 132-134	If valet is an attribute of a human, then the occupation of driving is an occupation of the human
(=> (attribute ?P Journalist) (and (occupation ?P (OccupationFn ContentDevelopment)) (occupation ?P (OccupationFn Disseminating))))	Mid-level-ontology.kif 19245-19249	If journalist is an attribute of a human, then the occupation of content development is an occupation of the human and the occupation of disseminating is an occupation of the human
(=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking)))	Dining.kif 829-832	If chef is an attribute of a human, then the occupation of cooking is an occupation of the human

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