| Profession | |
| appearance as argument number 1 |
|
|
| (disjoint Profession OccupationalTrade) | Mid-level-ontology.kif 7896-7896 | |
| (documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") | Mid-level-ontology.kif 7897-7898 | |
| (subclass Profession SkilledOccupation) | Mid-level-ontology.kif 7895-7895 |
| appearance as argument number 2 |
|
|
| (instance Accountant Profession) | Mid-level-ontology.kif 20427-20427 | |
| (instance Actuary Profession) | Biography.kif 119-119 | |
| (instance Anthropologist Profession) | Biography.kif 127-127 | |
| (instance Archeologist Profession) | Biography.kif 135-135 | |
| (instance Architect Profession) | Biography.kif 143-143 | |
| (instance Astronomer Profession) | Biography.kif 150-150 | |
| (instance Attorney Profession) | Mid-level-ontology.kif 20308-20308 | |
| (instance Biologist Profession) | Biography.kif 159-159 | |
| (instance Botanist Profession) | Biography.kif 381-381 | |
| (instance Chemist Profession) | Biography.kif 167-167 | |
| (instance Cleric Profession) | Mid-level-ontology.kif 20226-20226 | |
| (instance ComputerScientist Profession) | Biography.kif 175-175 | |
| (instance Dentist Profession) | Mid-level-ontology.kif 18250-18250 | |
| (instance Economist Profession) | Biography.kif 183-183 | |
| (instance Engineer Profession) | Biography.kif 191-191 | |
| (instance Geographer Profession) | Biography.kif 234-234 | |
| (instance Geologist Profession) | Biography.kif 242-242 | |
| (instance Historian Profession) | Biography.kif 250-250 | |
| (instance Journalist Profession) | Mid-level-ontology.kif 18325-18325 | |
| (instance Lawyer Profession) | Mid-level-ontology.kif 20307-20307 | |
| (instance Librarian Profession) | Biography.kif 328-328 | |
| (instance Linguist Profession) | Biography.kif 257-257 | |
| (instance Mathematician Profession) | Biography.kif 265-265 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 20373-20373 | |
| (instance MedicalResearcher Profession) | Biography.kif 272-272 | |
| 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 (instance ?FIELD FieldOfStudy) (holdsDuring ?T1 (knows ?HUMAN ?FIELD))))) |
Mid-level-ontology.kif 7900-7909 |
|
|
|