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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16576-16581
(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 16575-16575

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 20937-20937
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 20973-20973
(instance ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21081-21081
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 21088-21088
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21129-21129
(instance History FieldOfStudy) Mid-level-ontology.kif 21121-21121
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 20913-20913
(instance Literature FieldOfStudy) Mid-level-ontology.kif 20905-20905
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 20909-20909
(instance MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21103-21103
(instance Mechanics FieldOfStudy) Mid-level-ontology.kif 21097-21097
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21118-21118
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 21125-21125
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21093-21093
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 21077-21077
(instance Theology FieldOfStudy) Mid-level-ontology.kif 21108-21108
(subclass Science FieldOfStudy) Mid-level-ontology.kif 20917-20917
(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 21144-21144
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 21136-21136
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 21137-21137

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 8266-8275


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