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 20483-20486 | |
(domain OccupationFn 1 IntentionalProcess) | Mid-level-ontology.kif 20488-20488 | |
(instance OccupationFn UnaryFunction) | Mid-level-ontology.kif 20487-20487 | |
(rangeSubclass OccupationFn FinancialTransaction) | Mid-level-ontology.kif 20489-20489 |
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 41614-41614 | |
(termFormat ChineseTraditionalLanguage OccupationFn "職業") | domainEnglishFormat.kif 41613-41613 | |
(termFormat EnglishLanguage OccupationFn "occupation") | domainEnglishFormat.kif 41612-41612 |
consequent |
(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment)))) |
Mid-level-ontology.kif 18921-18927 | |
(=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing))) |
Mid-level-ontology.kif 20645-20649 | |
(=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking))) |
Mid-level-ontology.kif 20679-20683 | |
(=> (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 18955-18959 | |
(=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 |