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


KB Term:  Term intersection
English Word: 

  Profession

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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