Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(instance Accountant Profession) Mid-level-ontology.kif 21361-21361 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 21225-21225 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 21143-21143 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 19133-19133 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 19208-19208 Journalist is an instance of profession
(instance Lawyer Profession) Mid-level-ontology.kif 21224-21224 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 21290-21290 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 8511-8520


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