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 e' disjunto de 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 e' uma sub-classe de SkilledOccupation

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


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