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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfStudy

Sigma KEE - FieldOfStudy
FieldOfStudy

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


(documentation FieldOfStudy ChineseLanguage "这是一个有认可专家和拥有一个被接受的理论或实践核心的 学术或应用学科。注:FieldOfStudyPropositionsubclass, 因为我们理解 FieldOfStudy 为抽象体、信息内容,而这些内容的每一个元素附都有不同程度的确定性。") chinese_format.kif 3756-3758
(documentation FieldOfStudy EnglishLanguage "An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that FieldOfStudy is a subclass of Proposition, because a FieldOfStudy is understood to be a body of abstract, informational content, with varying degrees of certainty attached to each element of this content.") Merge.kif 15988-15993
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Agar_plate_with_colonies.jpg") pictureList.kif 11026-11026
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ DNA_Overview2.png") pictureList.kif 11025-11025
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Paleontologist_chipping.jpg") pictureList.kif 10034-10034
(subclass FieldOfStudy Proposition) Merge.kif 15987-15987

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 19774-19774
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 19810-19810
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 19921-19921
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 19953-19953
(instance History FieldOfStudy) Mid-level-ontology.kif 19945-19945
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 19750-19750
(instance Literature FieldOfStudy) Mid-level-ontology.kif 19742-19742
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 19746-19746
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 19942-19942
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 19949-19949
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 19926-19926
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 19914-19914
(instance Theology FieldOfStudy) Mid-level-ontology.kif 19932-19932
(subclass Science FieldOfStudy) Mid-level-ontology.kif 19754-19754
(termFormat ChineseLanguage FieldOfStudy "研究领域") chinese_format.kif 1231-1231
(termFormat EnglishLanguage FieldOfStudy "field of study") english_format.kif 1688-1688

appearance as argument number 3
-------------------------


(domain hasExpertise 2 FieldOfStudy) Mid-level-ontology.kif 19968-19968
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 19960-19960
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 19961-19961

consequent
-------------------------


(=>
    (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 7784-7793


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