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 7868-7868
(documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") Mid-level-ontology.kif 7869-7870
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 7867-7867

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


(instance Accountant Profession) Mid-level-ontology.kif 20085-20085
(instance Actuary Profession) Biography.kif 119-119
(instance Anthropologist Profession) Biography.kif 127-127
(instance Archeologist Profession) Biography.kif 135-135
(instance Architect Profession) Biography.kif 143-143
(instance Astronomer Profession) Biography.kif 150-150
(instance Attorney Profession) Mid-level-ontology.kif 19966-19966
(instance Biologist Profession) Biography.kif 159-159
(instance Botanist Profession) Biography.kif 381-381
(instance Chemist Profession) Biography.kif 167-167
(instance Cleric Profession) Mid-level-ontology.kif 19884-19884
(instance ComputerScientist Profession) Biography.kif 175-175
(instance Dentist Profession) Mid-level-ontology.kif 17908-17908
(instance Economist Profession) Biography.kif 183-183
(instance Engineer Profession) Biography.kif 191-191
(instance Geographer Profession) Biography.kif 234-234
(instance Geologist Profession) Biography.kif 242-242
(instance Historian Profession) Biography.kif 250-250
(instance Journalist Profession) Mid-level-ontology.kif 17983-17983
(instance Lawyer Profession) Mid-level-ontology.kif 19965-19965
(instance Librarian Profession) Biography.kif 328-328
(instance Linguist Profession) Biography.kif 257-257
(instance Mathematician Profession) Biography.kif 265-265
(instance MedicalDoctor Profession) Mid-level-ontology.kif 20031-20031
(instance MedicalResearcher Profession) Biography.kif 272-272

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
            (instance ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (knows ?HUMAN ?FIELD)))))
Mid-level-ontology.kif 7872-7881


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