| Profession | |
| appearance as argument number 1 |
|
|
| (disjoint Profession OccupationalTrade) | Mid-level-ontology.kif 9495-9495 | |
| (documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") | Mid-level-ontology.kif 9496-9497 | |
| (subclass Profession SkilledOccupation) | Mid-level-ontology.kif 9494-9494 |
| appearance as argument number 2 |
|
|
| (instance Accountant Profession) | Mid-level-ontology.kif 22720-22720 | |
| (instance Actuary Profession) | Biography.kif 360-360 | |
| (instance Anthropologist Profession) | Biography.kif 369-369 | |
| (instance Archeologist Profession) | Biography.kif 377-377 | |
| (instance Architect Profession) | Biography.kif 385-385 | |
| (instance Astronomer Profession) | Biography.kif 392-392 | |
| (instance Attorney Profession) | Mid-level-ontology.kif 22584-22584 | |
| (instance Biologist Profession) | Biography.kif 400-400 | |
| (instance Botanist Profession) | Biography.kif 621-621 | |
| (instance Chemist Profession) | Biography.kif 408-408 | |
| (instance Chiropractor Profession) | Medicine.kif 3834-3834 | |
| (instance Cleric Profession) | Mid-level-ontology.kif 22502-22502 | |
| (instance ComputerScientist Profession) | Biography.kif 416-416 | |
| (instance Dentist Profession) | Mid-level-ontology.kif 20446-20446 | |
| (instance Economist Profession) | Biography.kif 424-424 | |
| (instance Engineer Profession) | Biography.kif 432-432 | |
| (instance Geographer Profession) | Biography.kif 475-475 | |
| (instance Geologist Profession) | Biography.kif 483-483 | |
| (instance Historian Profession) | Biography.kif 491-491 | |
| (instance Journalist Profession) | Mid-level-ontology.kif 20521-20521 | |
| (instance Lawyer Profession) | Mid-level-ontology.kif 22583-22583 | |
| (instance Librarian Profession) | Biography.kif 568-568 | |
| (instance Linguist Profession) | Biography.kif 498-498 | |
| (instance Mathematician Profession) | Biography.kif 506-506 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 22649-22649 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (or (instance ?ROLE OccupationalTrade) (instance ?ROLE Profession)) (holdsDuring ?T1 (attribute ?HUMAN ?ROLE))) (exists (?FIELD) (and (subclass ?FIELD FieldOfStudy) (holdsDuring ?T1 (hasExpertise ?HUMAN ?FIELD))))) |
Mid-level-ontology.kif 9499-9508 |
|
|
|