Profession - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Profession OccupationalTrade)	Mid-level-ontology.kif 8316-8316	Profession is disjoint from occupational trade
(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	Profession is a subclass of skilled occupation

appearance as argument number 2

(instance Accountant Profession)	Mid-level-ontology.kif 21130-21130	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 20994-20994	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 20912-20912	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 18902-18902	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 18977-18977	Journalist is an instance of profession
(instance Lawyer Profession)	Mid-level-ontology.kif 20993-20993	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 21059-21059	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 8320-8329

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: