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 Profession è disgiunto da OccupationalTrade
(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 è una sottoclasse di SkilledOccupation

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


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


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