![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8260-8261 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8258-8258 | SkilledOccupation est une sous-classe de OccupationalRole |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8278-8278 | UnskilledOccupation est disjoint de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 433-433 | AeronauticalEngineer est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 640-640 | Astronaut est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3648-3648 | Banker est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 824-824 | Chef est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18864-18864 | ClericalSecretary est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20768-20768 | Coach est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20772-20772 | GameReferee est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 647-647 | Photographer est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 631-631 | Pilot est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20924-20924 | PoliceOfficer est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20960-20960 | PrivateDetective est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18975-18975 | Sailor est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 654-654 | Tailor est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18856-18856 | Treasurer est une instance de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | ArtisticOccupation est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26872-26872 | Bartender est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18915-18915 | EntertainmentProfession est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | MilitaryRank est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8282-8282 | OccupationalTrade est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8287-8287 | Profession est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1353-1353 | ProfessionalAthlete est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 446-446 | ProfessionalGamePlayer est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30688-30688 | SafetyPosition est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18860-18860 | SalesPosition est une sous-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 8263-8270 |
![]() |
![]() |