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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfStudy

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 16770-16775
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Agar_plate_with_colonies.jpg") pictureList.kif 11000-11000
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ DNA_Overview2.png") pictureList.kif 10999-10999
(externalImage FieldOfStudy "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Paleontologist_chipping.jpg") pictureList.kif 10016-10016
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 研究领域命题subclass

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


(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21142-21142 Archeology研究领域subclass
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21179-21179 建筑研究领域subclass
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21287-21287 电气工程领域研究领域subclass
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21294-21294 电子产品研究领域subclass
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21335-21335 法律领域研究领域subclass
(subclass History FieldOfStudy) Mid-level-ontology.kif 21327-21327 历史研究领域subclass
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21118-21118 室内设计研究领域subclass
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21110-21110 文献研究领域subclass
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21114-21114 数学研究领域subclass
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21309-21309 机械工程领域研究领域subclass
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21303-21303 力学领域研究领域subclass
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21324-21324 军事科学研究领域subclass
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21331-21331 哲学研究领域subclass
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21299-21299 PowerElectronics研究领域subclass
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21122-21122 科学研究领域subclass
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21283-21283 统计研究领域subclass
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21314-21314 神学研究领域subclass
(termFormat ChineseLanguage FieldOfStudy "研究领域") chinese_format.kif 1231-1231
(termFormat EnglishLanguage FieldOfStudy "field of study") english_format.kif 1683-1683
(termFormat FrenchLanguage FieldOfStudy "champ d'�tude") french_format.kif 909-909
(termFormat Hindi FieldOfStudy "adhyayana kshetra") terms-hindi.txt 442-442
(termFormat ItalianLanguage FieldOfStudy "CampoDiStudio") terms-it.txt 445-445
(termFormat JapaneseLanguage FieldOfStudy "研究分野") japanese_format.kif 2593-2593
(termFormat PortugueseLanguage FieldOfStudy "Campo de Estudos") portuguese_format.kif 861-861

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 21350-21350 有专业知识 的 2 数量 是 研究领域subclass
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 21342-21342 子领域 的 1 数量 是 研究领域subclass
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 21343-21343 子领域 的 2 数量 是 研究领域subclass

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 8293-8302


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