Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Profession
Profession(profession)arboriculturist, arithmetician, army_officer, bookman, craniologist, fingerprint_expert, fingerprint_man, fingerprint_specialist, forester, genealogist, interpreter, mechanical_engineer, oncologist, phrenologist, pilot, profession, professional, professional_person, prosthetist, scholar, scholarly_person, student, translator, tree_farmer

appearance as argument number 1
-------------------------


(subclass Profession SkilledOccupation) Mid-level-ontology.kif 9648-9648 Profession is a subclass of skilled occupation
(disjoint Profession OccupationalTrade) Mid-level-ontology.kif 9649-9649 Profession is disjoint from occupational trade
(documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") Mid-level-ontology.kif 9650-9651 Profession is disjoint from occupational trade

appearance as argument number 2
-------------------------


(instance Dentist Profession) Mid-level-ontology.kif 20812-20812 Dentist is an instance of profession
(instance Pharmacist Profession) Mid-level-ontology.kif 20825-20825 Pharmacist is an instance of profession
(instance Researcher Profession) Mid-level-ontology.kif 20829-20829 Researcher is an instance of profession
(instance Teacher Profession) Mid-level-ontology.kif 20840-20840 Teacher is an instance of profession
(subclass GovernmentPosition Profession) Mid-level-ontology.kif 20876-20876 Government position is a subclass of profession
(instance Journalist Profession) Mid-level-ontology.kif 20887-20887 Journalist is an instance of profession
(instance Cleric Profession) Mid-level-ontology.kif 23127-23127 Cleric is an instance of profession
(instance Lawyer Profession) Mid-level-ontology.kif 23208-23208 Lawyer is an instance of profession
(instance Attorney Profession) Mid-level-ontology.kif 23209-23209 Attorney is an instance of profession
(instance MedicalDoctor Profession) Mid-level-ontology.kif 23274-23274 Medical doctor is an instance of profession
(instance Accountant Profession) Mid-level-ontology.kif 23345-23345 Accountant is an instance of profession
(instance Scientist Profession) Biography.kif 354-354 Scientist is an instance of profession
(instance Actuary Profession) Biography.kif 360-360 Actuary is an instance of profession
(instance Anthropologist Profession) Biography.kif 369-369 Anthropologist is an instance of profession
(instance Archeologist Profession) Biography.kif 377-377 Archeologist is an instance of profession
(instance Architect Profession) Biography.kif 385-385 Architect is an instance of profession
(instance Astronomer Profession) Biography.kif 392-392 Astronomer is an instance of profession
(instance Biologist Profession) Biography.kif 400-400 Biologist is an instance of profession
(instance Chemist Profession) Biography.kif 408-408 Chemist is an instance of profession
(instance ComputerScientist Profession) Biography.kif 416-416 Computer scientist is an instance of profession
(instance Economist Profession) Biography.kif 424-424 Economist is an instance of profession
(instance Engineer Profession) Biography.kif 432-432 Engineer is an instance of profession
(instance Geographer Profession) Biography.kif 475-475 Geographer is an instance of profession
(instance Geologist Profession) Biography.kif 483-483 Geologist is an instance of profession
(instance Historian Profession) Biography.kif 491-491 Historian is an instance of profession

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 9653-9662 If X is an instance of occupational trade or X is an instance of profession and X is an attribute of Y holds during Z, then there exists W such that W is a subclass of field of study and W has an expertise in Y holds during Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners