| OccupationalTrade(occupational trade) | | agricultural_laborer, agricultural_labourer, airplane_mechanics, apiarist, apiculturist, armorer, armourer, arms_manufacturer, arrowsmith, artificer, artisan, auto-mechanic, auto_mechanics, automobile_mechanic, baby-sitter, baby_farmer, baby_minder, babyminder, babysitter, baggageman, baker, barber, barker, barterer, basketmaker, basketry, basketweaver, baster, beautician, beauty_consultant, beekeeper, bell_founder, belt_maker, bookbinding, bricklaying, butchering, butchery, car-mechanic, contadino, cosmetician, cosmetology, craft, crafter, craftsman, dairy_farming, dairying, electrical_work, farming, finisher, fisher... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9509-9510 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9508-9508 | Occupational trade is a subclass of manual labor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9507-9507 | Occupational trade is a subclass of skilled occupation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9513-9513 | Profession is disjoint from occupational trade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22414-22414 | Carpenter is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22484-22484 | Farm hand is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22494-22494 | Plumber is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22498-22498 | Potter is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41639-41639 | Potter is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41638-41638 | Potter is an instance of occupational trade |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41637-41637 | Potter is an instance of occupational trade |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9517-9526 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18115-18127 |
|
|
|
|