| SkilledOccupation | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8289 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8286-8286 | SkilledOccupation e' uma sub-classe de OccupationalRole |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8306-8306 | UnskilledOccupation e' disjunto de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 433-433 | AeronauticalEngineer e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 640-640 | Astronaut e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3648-3648 | Banker e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 824-824 | Chef e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18892-18892 | ClericalSecretary e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20796-20796 | Coach e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20800-20800 | GameReferee e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 647-647 | Photographer e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 631-631 | Pilot e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20952-20952 | PoliceOfficer e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20988-20988 | PrivateDetective e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19003-19003 | Sailor e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 654-654 | Tailor e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18884-18884 | Treasurer e' uma instancia de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | ArtisticOccupation e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26917-26917 | Bartender e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18943-18943 | EntertainmentProfession e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | MilitaryRank e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8310-8310 | OccupationalTrade e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8315-8315 | Profession e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1353-1353 | ProfessionalAthlete e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 446-446 | ProfessionalGamePlayer e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30724-30724 | SafetyPosition e' uma sub-classe de SkilledOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18888-18888 | SalesPosition e' uma sub-classe de SkilledOccupation |
| 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 8291-8298 |
|
|
|