SkilledOccupation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8261-8262 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8259-8259 | Skilled occupation is a subclass of occupational role |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8279-8279 | Unskilled occupation is disjoint from skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 433-433 | Aeronautical engineer is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 640-640 | Astronaut is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3648-3648 | Banker is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 824-824 | Chef is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18865-18865 | Clerical secretary is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20769-20769 | Coach is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20773-20773 | Game referee is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 647-647 | Photographer is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 631-631 | Pilot is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | Police officer is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20961-20961 | Private detective is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18976-18976 | Sailor is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 654-654 | Tailor is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18857-18857 | Treasurer is an instance of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | Artistic occupation is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26884-26884 | Bartender is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18916-18916 | Entertainment profession is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | Military rank is a subclass of skilled occupation |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | Profession is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1352-1352 | Professional athlete is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 446-446 | Professional game player is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30700-30700 | Safety position is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18861-18861 | Sales position is a subclass of skilled occupation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8264-8271 |
|