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 16501-16506
(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 16500-16500 研究领域命题subclass

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


(instance Archeology FieldOfStudy) Mid-level-ontology.kif 20466-20466 Archeology研究领域instance
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 20502-20502 建筑研究领域instance
(instance ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 20610-20610 电气工程领域研究领域instance
(instance Electronics FieldOfStudy) Mid-level-ontology.kif 20617-20617 电子产品研究领域instance
(instance FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 20658-20658 法律领域研究领域instance
(instance History FieldOfStudy) Mid-level-ontology.kif 20650-20650 历史研究领域instance
(instance InteriorDesign FieldOfStudy) Mid-level-ontology.kif 20442-20442 室内设计研究领域instance
(instance Literature FieldOfStudy) Mid-level-ontology.kif 20434-20434 文献研究领域instance
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 20438-20438 数学研究领域instance
(instance MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 20632-20632 机械工程领域研究领域instance
(instance Mechanics FieldOfStudy) Mid-level-ontology.kif 20626-20626 力学领域研究领域instance
(instance MilitaryScience FieldOfStudy) Mid-level-ontology.kif 20647-20647 军事科学研究领域instance
(instance Philosophy FieldOfStudy) Mid-level-ontology.kif 20654-20654 哲学研究领域instance
(instance PowerElectronics FieldOfStudy) Mid-level-ontology.kif 20622-20622 PowerElectronics研究领域instance
(instance Statistics FieldOfStudy) Mid-level-ontology.kif 20606-20606 统计研究领域instance
(instance Theology FieldOfStudy) Mid-level-ontology.kif 20637-20637 神学研究领域instance
(subclass Science FieldOfStudy) Mid-level-ontology.kif 20446-20446 科学研究领域subclass
(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 20673-20673 有专业知识 的 2 数量 是 研究领域instance
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 20665-20665 子领域 的 1 数量 是 研究领域instance
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 20666-20666 子领域 的 2 数量 是 研究领域instance

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 7900-7909


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