Profession - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Accountant Profession)	Mid-level-ontology.kif 21103-21103	Accountant is an instance of profession
(instance Actuary Profession)	Biography.kif 352-352	Actuary is an instance of profession
(instance Anthropologist Profession)	Biography.kif 361-361	Anthropologist is an instance of profession
(instance Archeologist Profession)	Biography.kif 369-369	Archeologist is an instance of profession
(instance Architect Profession)	Biography.kif 377-377	Architect is an instance of profession
(instance Astronomer Profession)	Biography.kif 384-384	Astronomer is an instance of profession
(instance Attorney Profession)	Mid-level-ontology.kif 20967-20967	Attorney is an instance of profession
(instance Biologist Profession)	Biography.kif 392-392	Biologist is an instance of profession
(instance Botanist Profession)	Biography.kif 613-613	Botanist is an instance of profession
(instance Chemist Profession)	Biography.kif 400-400	Chemist is an instance of profession
(instance Chiropractor Profession)	Medicine.kif 3831-3831	Chiro is an instance of profession
(instance Cleric Profession)	Mid-level-ontology.kif 20885-20885	Cleric is an instance of profession
(instance ComputerScientist Profession)	Biography.kif 408-408	Computer scientist is an instance of profession
(instance Dentist Profession)	Mid-level-ontology.kif 18875-18875	Dentist is an instance of profession
(instance Economist Profession)	Biography.kif 416-416	Economist is an instance of profession
(instance Engineer Profession)	Biography.kif 424-424	Engineer is an instance of profession
(instance Geographer Profession)	Biography.kif 467-467	Geographer is an instance of profession
(instance Geologist Profession)	Biography.kif 475-475	Geologist is an instance of profession
(instance Historian Profession)	Biography.kif 483-483	Historian is an instance of profession
(instance Journalist Profession)	Mid-level-ontology.kif 18950-18950	Journalist is an instance of profession
(instance Lawyer Profession)	Mid-level-ontology.kif 20966-20966	Lawyer is an instance of profession
(instance Librarian Profession)	Biography.kif 560-560	Librarian is an instance of profession
(instance Linguist Profession)	Biography.kif 490-490	Linguist is an instance of profession
(instance Mathematician Profession)	Biography.kif 498-498	Mathematician is an instance of profession
(instance MedicalDoctor Profession)	Mid-level-ontology.kif 21032-21032	Medical doctor 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 8293-8302

If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position,
then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: