| 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 22100-22103 | |
| (domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 22105-22105 | |
| (instance OccupationFn UnaryFunction) | Mid-level-ontology.kif 22104-22104 | |
| (rangeSubclass OccupationFn FinancialTransaction) | Mid-level-ontology.kif 22106-22106 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage OccupationFn "%1 的 occupation ") | domainEnglishFormat.kif 1831-1831 | |
| (format ChineseTraditionalLanguage OccupationFn "%1 的 occupation ") | domainEnglishFormat.kif 1830-1830 | |
| (format EnglishLanguage OccupationFn "the occupation of %1") | domainEnglishFormat.kif 1829-1829 | |
| (termFormat ChineseLanguage OccupationFn "职业") | domainEnglishFormat.kif 41622-41622 | |
| (termFormat ChineseTraditionalLanguage OccupationFn "職業") | domainEnglishFormat.kif 41621-41621 | |
| (termFormat EnglishLanguage OccupationFn "occupation") | domainEnglishFormat.kif 41620-41620 |
| consequent |
|
|
| (=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment)))) |
Mid-level-ontology.kif 20492-20498 | |
| (=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing))) |
Mid-level-ontology.kif 22262-22266 | |
| (=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking))) |
Mid-level-ontology.kif 22296-22300 | |
| (=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving))) |
TransportDetail.kif 132-134 | |
| (=> (attribute ?P Journalist) (and (occupation ?P (OccupationFn ContentDevelopment)) (occupation ?P (OccupationFn Disseminating)))) |
Mid-level-ontology.kif 20526-20530 | |
| (=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 |
|
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