|
|
   Profession
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Profession OccupationalTrade) | Mid-level-ontology.kif 8316-8316 | |
| (documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") | Mid-level-ontology.kif 8317-8318 | |
| (subclass Profession SkilledOccupation) | Mid-level-ontology.kif 8315-8315 |
| appearance as argument number 2 |
|
|
| (instance Accountant Profession) | Mid-level-ontology.kif 21130-21130 | |
| (instance Actuary Profession) | Biography.kif 352-352 | |
| (instance Anthropologist Profession) | Biography.kif 361-361 | |
| (instance Archeologist Profession) | Biography.kif 369-369 | |
| (instance Architect Profession) | Biography.kif 377-377 | |
| (instance Astronomer Profession) | Biography.kif 384-384 | |
| (instance Attorney Profession) | Mid-level-ontology.kif 20994-20994 | |
| (instance Biologist Profession) | Biography.kif 392-392 | |
| (instance Botanist Profession) | Biography.kif 613-613 | |
| (instance Chemist Profession) | Biography.kif 400-400 | |
| (instance Chiropractor Profession) | Medicine.kif 3831-3831 | |
| (instance Cleric Profession) | Mid-level-ontology.kif 20912-20912 | |
| (instance ComputerScientist Profession) | Biography.kif 408-408 | |
| (instance Dentist Profession) | Mid-level-ontology.kif 18902-18902 | |
| (instance Economist Profession) | Biography.kif 416-416 | |
| (instance Engineer Profession) | Biography.kif 424-424 | |
| (instance Geographer Profession) | Biography.kif 467-467 | |
| (instance Geologist Profession) | Biography.kif 475-475 | |
| (instance Historian Profession) | Biography.kif 483-483 | |
| (instance Journalist Profession) | Mid-level-ontology.kif 18977-18977 | |
| (instance Lawyer Profession) | Mid-level-ontology.kif 20993-20993 | |
| (instance Librarian Profession) | Biography.kif 560-560 | |
| (instance Linguist Profession) | Biography.kif 490-490 | |
| (instance Mathematician Profession) | Biography.kif 498-498 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 21059-21059 | |
| 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 8320-8329 |
|
|
|