Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Profession

Sigma KEE - Profession
Profession

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


(disjoint Profession OccupationalTrade) Mid-level-ontology.kif 8289-8289
(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

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


(instance Accountant Profession) Mid-level-ontology.kif 21103-21103
(instance Actuary Profession) Biography.kif 352-352
(instance Anthropologist Profession) Biography.kif 361-361
(instance Archeologist Profession) Biography.kif 369-369
(instance Architect Profession) Biography.kif 377-377
(instance Astronomer Profession) Biography.kif 384-384
(instance Attorney Profession) Mid-level-ontology.kif 20967-20967
(instance Biologist Profession) Biography.kif 392-392
(instance Botanist Profession) Biography.kif 613-613
(instance Chemist Profession) Biography.kif 400-400
(instance Chiropractor Profession) Medicine.kif 3831-3831
(instance Cleric Profession) Mid-level-ontology.kif 20885-20885
(instance ComputerScientist Profession) Biography.kif 408-408
(instance Dentist Profession) Mid-level-ontology.kif 18875-18875
(instance Economist Profession) Biography.kif 416-416
(instance Engineer Profession) Biography.kif 424-424
(instance Geographer Profession) Biography.kif 467-467
(instance Geologist Profession) Biography.kif 475-475
(instance Historian Profession) Biography.kif 483-483
(instance Journalist Profession) Mid-level-ontology.kif 18950-18950
(instance Lawyer Profession) Mid-level-ontology.kif 20966-20966
(instance Librarian Profession) Biography.kif 560-560
(instance Linguist Profession) Biography.kif 490-490
(instance Mathematician Profession) Biography.kif 498-498
(instance MedicalDoctor Profession) Mid-level-ontology.kif 21032-21032

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


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