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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfStudy

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 16495-16500
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Agar_plate_with_colonies.jpg") pictureList.kif 11016-11016
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ DNA_Overview2.png") pictureList.kif 11015-11015
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Paleontologist_chipping.jpg") pictureList.kif 10025-10025
(subclass FieldOfStudy Proposition) Merge.kif 16494-16494 Field of study is a subclass of proposition

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 20462-20462 Archeology is an instance of field of study
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 20498-20498 Architecture is an instance of field of study
(instance ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 20606-20606 Electrical engineering is an instance of field of study
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 20613-20613 Electronics is an instance of field of study
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 20654-20654 Field of law is an instance of field of study
(instance History FieldOfStudy) Mid-level-ontology.kif 20646-20646 History is an instance of field of study
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 20438-20438 Interior design is an instance of field of study
(instance Literature FieldOfStudy) Mid-level-ontology.kif 20430-20430 Literature is an instance of field of study
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 20434-20434 Mathematics is an instance of field of study
(instance MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 20628-20628 Mechanical engineering is an instance of field of study
(instance Mechanics FieldOfStudy) Mid-level-ontology.kif 20622-20622 Mechanics is an instance of field of study
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 20643-20643 Military science is an instance of field of study
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 20650-20650 Philosophy is an instance of field of study
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 20618-20618 PowerElectronics is an instance of field of study
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 20602-20602 Statistics is an instance of field of study
(instance Theology FieldOfStudy) Mid-level-ontology.kif 20633-20633 Theology is an instance of field of study
(subclass Science FieldOfStudy) Mid-level-ontology.kif 20442-20442 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 1683-1683

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


(domain hasExpertise 2 FieldOfStudy) Mid-level-ontology.kif 20669-20669 The number 2 argument of has expertise is an instance of field of study
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 20661-20661 The number 1 argument of sub field is an instance of field of study
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 20662-20662 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 7896-7905


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