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 16792-16797
(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 16791-16791 FieldOfStudy ist eine teilkategorie von Proposition

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


(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21141-21141 Archeology ist eine teilkategorie von FieldOfStudy
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21178-21178 Architecture ist eine teilkategorie von FieldOfStudy
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21286-21286 ElectricalEngineering ist eine teilkategorie von FieldOfStudy
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21293-21293 Electronics ist eine teilkategorie von FieldOfStudy
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21334-21334 FieldOfLaw ist eine teilkategorie von FieldOfStudy
(subclass History FieldOfStudy) Mid-level-ontology.kif 21326-21326 History ist eine teilkategorie von FieldOfStudy
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21117-21117 InteriorDesign ist eine teilkategorie von FieldOfStudy
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21109-21109 Literature ist eine teilkategorie von FieldOfStudy
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21113-21113 Mathematics ist eine teilkategorie von FieldOfStudy
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21308-21308 MechanicalEngineering ist eine teilkategorie von FieldOfStudy
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21302-21302 Mechanics ist eine teilkategorie von FieldOfStudy
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21323-21323 MilitaryScience ist eine teilkategorie von FieldOfStudy
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21330-21330 Philosophy ist eine teilkategorie von FieldOfStudy
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21298-21298 PowerElectronics ist eine teilkategorie von FieldOfStudy
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21121-21121 Science ist eine teilkategorie von FieldOfStudy
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21282-21282 Statistics ist eine teilkategorie von FieldOfStudy
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21313-21313 Theology ist eine teilkategorie von FieldOfStudy
(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 21349-21349 Die Zahl 2 Argument von hasExpertise ist eine teilkategorie von FieldOfStudy %n{nicht}
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 21341-21341 Die Zahl 1 Argument von subField ist eine teilkategorie von FieldOfStudy %n{nicht}
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 21342-21342 Die Zahl 2 Argument von subField ist eine teilkategorie von FieldOfStudy %n{nicht}

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 8292-8301


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