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 8285-8286 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8284-8284 | Occupational trade is a subclass of manual labor |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8283-8283 | 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 8289-8289 | Profession is disjoint from occupational trade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20780-20780 | Carpenter is an instance of occupational trade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20850-20850 | Farm hand is an instance of occupational trade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20860-20860 | Plumber is an instance of occupational trade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20864-20864 | Potter is an instance of occupational trade |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41608-41608 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41607-41607 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41606-41606 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8293-8302 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16708-16720 |
|