| 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 | |
| (instance OccupationFn UnaryFunction) | Mid-level-ontology.kif 18255-18255 | |
| (rangeSubclass OccupationFn FinancialTransaction) | Mid-level-ontology.kif 18257-18257 |
| 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 | |
| (=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing))) |
Mid-level-ontology.kif 18356-18360 | |
| (=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking))) |
Mid-level-ontology.kif 18389-18393 | |
| (=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving))) |
TransportDetail.kif 128-130 | |
| (=> (attribute ?P Journalist) (and (occupation ?P (OccupationFn ContentDevelopment)) (occupation ?P (OccupationFn Disseminating)))) |
Mid-level-ontology.kif 16735-16739 | |
| (=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 782-785 |
|
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