| 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 22108-22111 | |
| (domain occupation 1 Human) | Mid-level-ontology.kif 22113-22113 | |
| (domainSubclass occupation 2 FinancialTransaction) | Mid-level-ontology.kif 22114-22114 | |
| (instance occupation BinaryPredicate) | Mid-level-ontology.kif 22112-22112 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage occupation "%2 %n 是 %1 的 occupation ") | domainEnglishFormat.kif 1827-1827 | |
| (format ChineseTraditionalLanguage occupation "%2 %n 是 %1 的 occupation ") | domainEnglishFormat.kif 1826-1826 | |
| (format EnglishLanguage occupation "%2 is %n an occupation of %1") | domainEnglishFormat.kif 1825-1825 | |
| (termFormat ChineseLanguage occupation "占用") | domainEnglishFormat.kif 41604-41604 | |
| (termFormat ChineseTraditionalLanguage occupation "佔用") | domainEnglishFormat.kif 41603-41603 | |
| (termFormat EnglishLanguage occupation "occupation") | domainEnglishFormat.kif 41602-41602 |
| 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