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 20490-20493 | |
(domain occupation 1 Human) | Mid-level-ontology.kif 20495-20495 | |
(domainSubclass occupation 2 FinancialTransaction) | Mid-level-ontology.kif 20496-20496 | |
(instance occupation BinaryPredicate) | Mid-level-ontology.kif 20494-20494 |
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 41596-41596 | |
(termFormat ChineseTraditionalLanguage occupation "佔用") | domainEnglishFormat.kif 41595-41595 | |
(termFormat EnglishLanguage occupation "occupation") | domainEnglishFormat.kif 41594-41594 |
consequent |
(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment)))) |
Mid-level-ontology.kif 18920-18926 | |
(=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing))) |
Mid-level-ontology.kif 20644-20648 | |
(=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking))) |
Mid-level-ontology.kif 20678-20682 | |
(=> (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 18954-18958 | |
(=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 |