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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Profession
Profession

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


(disjoint Profession OccupationalTrade) Mid-level-ontology.kif 8289-8289 ProfessionOccupationalTradedisjoint では %n
(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 ProfessionSkilledOccupationsubclass では %n

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


(instance Accountant Profession) Mid-level-ontology.kif 21103-21103 AccountantProfessioninstance では %n
(instance Actuary Profession) Biography.kif 352-352 ActuaryProfessioninstance では %n
(instance Anthropologist Profession) Biography.kif 361-361 AnthropologistProfessioninstance では %n
(instance Archeologist Profession) Biography.kif 369-369 ArcheologistProfessioninstance では %n
(instance Architect Profession) Biography.kif 377-377 ArchitectProfessioninstance では %n
(instance Astronomer Profession) Biography.kif 384-384 AstronomerProfessioninstance では %n
(instance Attorney Profession) Mid-level-ontology.kif 20967-20967 AttorneyProfessioninstance では %n
(instance Biologist Profession) Biography.kif 392-392 BiologistProfessioninstance では %n
(instance Botanist Profession) Biography.kif 613-613 BotanistProfessioninstance では %n
(instance Chemist Profession) Biography.kif 400-400 ChemistProfessioninstance では %n
(instance Chiropractor Profession) Medicine.kif 3831-3831 ChiropractorProfessioninstance では %n
(instance Cleric Profession) Mid-level-ontology.kif 20885-20885 ClericProfessioninstance では %n
(instance ComputerScientist Profession) Biography.kif 408-408 ComputerScientistProfessioninstance では %n
(instance Dentist Profession) Mid-level-ontology.kif 18875-18875 DentistProfessioninstance では %n
(instance Economist Profession) Biography.kif 416-416 EconomistProfessioninstance では %n
(instance Engineer Profession) Biography.kif 424-424 EngineerProfessioninstance では %n
(instance Geographer Profession) Biography.kif 467-467 GeographerProfessioninstance では %n
(instance Geologist Profession) Biography.kif 475-475 GeologistProfessioninstance では %n
(instance Historian Profession) Biography.kif 483-483 HistorianProfessioninstance では %n
(instance Journalist Profession) Mid-level-ontology.kif 18950-18950 JournalistProfessioninstance では %n
(instance Lawyer Profession) Mid-level-ontology.kif 20966-20966 LawyerProfessioninstance では %n
(instance Librarian Profession) Biography.kif 560-560 LibrarianProfessioninstance では %n
(instance Linguist Profession) Biography.kif 490-490 LinguistProfessioninstance では %n
(instance Mathematician Profession) Biography.kif 498-498 MathematicianProfessioninstance では %n
(instance MedicalDoctor Profession) Mid-level-ontology.kif 21032-21032 MedicalDoctorProfessioninstance では %n

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 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