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 15574-15579
(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 15573-15573

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 18889-18889
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 18922-18922
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 19018-19018
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 19049-19049
(instance History FieldOfStudy) Mid-level-ontology.kif 19041-19041
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 18867-18867
(instance Literature FieldOfStudy) Mid-level-ontology.kif 18859-18859
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 18863-18863
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 19038-19038
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 19045-19045
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 19023-19023
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 19012-19012
(instance Theology FieldOfStudy) Mid-level-ontology.kif 19029-19029
(subclass Science FieldOfStudy) Mid-level-ontology.kif 18871-18871
(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 19064-19064
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 19056-19056
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 19057-19057

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 7970-7979


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners