OccupationFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OccupationFn

OccupationFn

appearance as argument number 1

(documentation OccupationFn EnglishLanguage "(OccupationFn ?PROCESS) denotes the subclass of ?PROCESS where instances of ?PROCESS are performed as one's occupation, i.e. as part of a FinancialTransaction where one earns money for the performance of ?PROCESS.")	Mid-level-ontology.kif 18251-18254
(domain OccupationFn 1 IntentionalProcess)	Mid-level-ontology.kif 18256-18256	The number 1 argument of occupation is an instance of intentional process
(instance OccupationFn UnaryFunction)	Mid-level-ontology.kif 18255-18255	Occupation is an instance of unary function
(rangeSubclass OccupationFn FinancialTransaction)	Mid-level-ontology.kif 18257-18257	The values returned by occupation are subclasses of financial transaction

appearance as argument number 2

(format ChineseLanguage OccupationFn "%1 的 occupation ")	domainEnglishFormat.kif 1827-1827
(format ChineseTraditionalLanguage OccupationFn "%1 的 occupation ")	domainEnglishFormat.kif 1826-1826
(format EnglishLanguage OccupationFn "the occupation of %1")	domainEnglishFormat.kif 1825-1825
(termFormat ChineseLanguage OccupationFn "职业")	domainEnglishFormat.kif 41509-41509
(termFormat ChineseTraditionalLanguage OccupationFn "職業")	domainEnglishFormat.kif 41508-41508
(termFormat EnglishLanguage OccupationFn "occupation")	domainEnglishFormat.kif 41507-41507

consequent

(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment))))	Mid-level-ontology.kif 16701-16707	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 18356-18360	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 18389-18393	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 128-130	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 16735-16739	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 782-785	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners