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 8316-8316 Profession と OccupationalTrade は disjoint では %n
(documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") Mid-level-ontology.kif 8317-8318
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8315-8315 Profession は SkilledOccupation の subclass では %n

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


(instance Accountant Profession) Mid-level-ontology.kif 21130-21130 Accountant は Profession の instance では %n
(instance Actuary Profession) Biography.kif 352-352 Actuary は Profession の instance では %n
(instance Anthropologist Profession) Biography.kif 361-361 Anthropologist は Profession の instance では %n
(instance Archeologist Profession) Biography.kif 369-369 Archeologist は Profession の instance では %n
(instance Architect Profession) Biography.kif 377-377 Architect は Profession の instance では %n
(instance Astronomer Profession) Biography.kif 384-384 Astronomer は Profession の instance では %n
(instance Attorney Profession) Mid-level-ontology.kif 20994-20994 Attorney は Profession の instance では %n
(instance Biologist Profession) Biography.kif 392-392 Biologist は Profession の instance では %n
(instance Botanist Profession) Biography.kif 613-613 Botanist は Profession の instance では %n
(instance Chemist Profession) Biography.kif 400-400 Chemist は Profession の instance では %n
(instance Chiropractor Profession) Medicine.kif 3831-3831 Chiropractor は Profession の instance では %n
(instance Cleric Profession) Mid-level-ontology.kif 20912-20912 Cleric は Profession の instance では %n
(instance ComputerScientist Profession) Biography.kif 408-408 ComputerScientist は Profession の instance では %n
(instance Dentist Profession) Mid-level-ontology.kif 18902-18902 Dentist は Profession の instance では %n
(instance Economist Profession) Biography.kif 416-416 Economist は Profession の instance では %n
(instance Engineer Profession) Biography.kif 424-424 Engineer は Profession の instance では %n
(instance Geographer Profession) Biography.kif 467-467 Geographer は Profession の instance では %n
(instance Geologist Profession) Biography.kif 475-475 Geologist は Profession の instance では %n
(instance Historian Profession) Biography.kif 483-483 Historian は Profession の instance では %n
(instance Journalist Profession) Mid-level-ontology.kif 18977-18977 Journalist は Profession の instance では %n
(instance Lawyer Profession) Mid-level-ontology.kif 20993-20993 Lawyer は Profession の instance では %n
(instance Librarian Profession) Biography.kif 560-560 Librarian は Profession の instance では %n
(instance Linguist Profession) Biography.kif 490-490 Linguist は Profession の instance では %n
(instance Mathematician Profession) Biography.kif 498-498 Mathematician は Profession の instance では %n
(instance MedicalDoctor Profession) Mid-level-ontology.kif 21059-21059 MedicalDoctor は Profession の instance では %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 8320-8329


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