No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8258-8258 | SkilledOccupation e' uma sub-classe de OccupationalRole |
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. | Sports.kif 1353-1353 | ProfessionalAthlete 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 8282-8282 | OccupationalTrade e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8287-8287 | Profession e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18860-18860 | SalesPosition e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18869-18869 | ServicePosition e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18915-18915 | EntertainmentProfession e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18928-18928 | SportsPosition e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26872-26872 | Bartender e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30688-30688 | SafetyPosition e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | ArtisticOccupation e' uma sub-classe de SkilledOccupation |