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 16866-16871
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Agar_plate_with_colonies.jpg") pictureList.kif 10993-10993
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ DNA_Overview2.png") pictureList.kif 10992-10992
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Paleontologist_chipping.jpg") pictureList.kif 10014-10014
(subclass FieldOfStudy Proposition) Merge.kif 16865-16865 Field of study is a subclass of proposition

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


(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 22231-22231 Archeology is a subclass of field of study
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 22268-22268 Architecture is a subclass of field of study
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 22376-22376 Electrical engineering is a subclass of field of study
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 22383-22383 Electronics is a subclass of field of study
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 22424-22424 Field of law is a subclass of field of study
(subclass History FieldOfStudy) Mid-level-ontology.kif 22416-22416 History is a subclass of field of study
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 22207-22207 Interior design is a subclass of field of study
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 22199-22199 Literature is a subclass of field of study
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 22203-22203 Mathematics is a subclass of field of study
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 22398-22398 Mechanical engineering is a subclass of field of study
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 22392-22392 Mechanics is a subclass of field of study
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 22413-22413 Military science is a subclass of field of study
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 22420-22420 Philosophy is a subclass of field of study
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 22388-22388 Power electronics is a subclass of field of study
(subclass Science FieldOfStudy) Mid-level-ontology.kif 22211-22211 Science is a subclass of field of study
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 22372-22372 Statistics is a subclass of field of study
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 22403-22403 Theology is a subclass of field of study
(termFormat ChineseLanguage FieldOfStudy "研究领域") chinese_format.kif 1231-1231 Theology is a subclass of field of study
(termFormat EnglishLanguage FieldOfStudy "field of study") english_format.kif 1683-1683 Theology is a subclass of field of study
(termFormat FrenchLanguage FieldOfStudy "champ d'�tude") french_format.kif 909-909 Theology is a subclass of field of study
(termFormat Hindi FieldOfStudy "adhyayana kshetra") terms-hindi.txt 442-442 Theology is a subclass of field of study
(termFormat ItalianLanguage FieldOfStudy "CampoDiStudio") terms-it.txt 445-445 Theology is a subclass of field of study
(termFormat JapaneseLanguage FieldOfStudy "研究分野") japanese_format.kif 2593-2593 Theology is a subclass of field of study
(termFormat PortugueseLanguage FieldOfStudy "Campo de Estudos") portuguese_format.kif 861-861 Theology is a subclass of field of study

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass hasExpertise 2 FieldOfStudy) Mid-level-ontology.kif 22439-22439 The number 2 argument of has expertise is a subclass of field of study
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 22431-22431 The number 1 argument of sub field is a subclass of field of study
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 22432-22432 The number 2 argument of sub field is a subclass of field of study

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


(=>
    (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 9066-9075


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