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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FieldOfStudy
FieldOfStudy(field of study)
ANOVA, Assyriology, Boolean_algebra, Boolean_logic, EE, Egyptology, English, Euclidean_geometry, Fourier_analysis, Freudian_psychology, Galois_theory, Gestalt_psychology, Gnostic, IP, IT, Jungian_psychology, Masora, Masorah, NLP, Neoplatonism, Newtonian_mechanics, OB, Occidentalism, Oriental_Studies, Orientalism, QCD, QED, Riemannian_geometry, Sinology, Sumerology, accidence, acoustic, acoustical, acoustics, aerodynamic, aerodynamics, aerological, aerology, aeromechanics, aeromedical, aeromedicine, aeronautical_engineering, aeronautics, aerophilately, aerospace_medicine, aesthetic, aesthetics, aetiologic, aetiological, aetiology...

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 15591-15596
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Agar_plate_with_colonies.jpg") pictureList.kif 11027-11027
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ DNA_Overview2.png") pictureList.kif 11026-11026
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Paleontologist_chipping.jpg") pictureList.kif 10035-10035
(subclass FieldOfStudy Proposition) Merge.kif 15590-15590 Field of study is a subclass of proposition

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 18862-18862 Archeology is an instance of field of study
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 18895-18895 Architecture is an instance of field of study
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 18991-18991 Electronics is an instance of field of study
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 19022-19022 Field of law is an instance of field of study
(instance History FieldOfStudy) Mid-level-ontology.kif 19014-19014 History is an instance of field of study
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 18840-18840 Interior design is an instance of field of study
(instance Literature FieldOfStudy) Mid-level-ontology.kif 18832-18832 Literature is an instance of field of study
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 18836-18836 Mathematics is an instance of field of study
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 19011-19011 Military science is an instance of field of study
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 19018-19018 Philosophy is an instance of field of study
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 18996-18996 PowerElectronics is an instance of field of study
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 18985-18985 Statistics is an instance of field of study
(instance Theology FieldOfStudy) Mid-level-ontology.kif 19002-19002 Theology is an instance of field of study
(subclass Science FieldOfStudy) Mid-level-ontology.kif 18844-18844 Science is a subclass of field of study
(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 19037-19037 The number 2 argument of has expertise is an instance of field of study
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 19029-19029 The number 1 argument of sub field is an instance of field of study
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 19030-19030 The number 2 argument of sub field is an instance of field of study

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


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