TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FieldOfStudy ChineseLanguage "这是一个有认可专家和拥有一个被接受的理论或实践核心的学术或应用学科。注：FieldOfStudy 是 Proposition 的 subclass，因为我们理解 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	Field of study is a subclass of proposition

appearance as argument number 2

(subclass Archeology FieldOfStudy)	Mid-level-ontology.kif 21141-21141	Archeology is a subclass of field of study
(subclass Architecture FieldOfStudy)	Mid-level-ontology.kif 21178-21178	Architecture is a subclass of field of study
(subclass ElectricalEngineering FieldOfStudy)	Mid-level-ontology.kif 21286-21286	Electrical engineering is a subclass of field of study
(subclass Electronics FieldOfStudy)	Mid-level-ontology.kif 21293-21293	Electronics is a subclass of field of study
(subclass FieldOfLaw FieldOfStudy)	Mid-level-ontology.kif 21334-21334	Field of law is a subclass of field of study
(subclass History FieldOfStudy)	Mid-level-ontology.kif 21326-21326	History is a subclass of field of study
(subclass InteriorDesign FieldOfStudy)	Mid-level-ontology.kif 21117-21117	Interior design is a subclass of field of study
(subclass Literature FieldOfStudy)	Mid-level-ontology.kif 21109-21109	Literature is a subclass of field of study
(subclass Mathematics FieldOfStudy)	Mid-level-ontology.kif 21113-21113	Mathematics is a subclass of field of study
(subclass MechanicalEngineering FieldOfStudy)	Mid-level-ontology.kif 21308-21308	Mechanical engineering is a subclass of field of study
(subclass Mechanics FieldOfStudy)	Mid-level-ontology.kif 21302-21302	Mechanics is a subclass of field of study
(subclass MilitaryScience FieldOfStudy)	Mid-level-ontology.kif 21323-21323	Military science is a subclass of field of study
(subclass Philosophy FieldOfStudy)	Mid-level-ontology.kif 21330-21330	Philosophy is a subclass of field of study
(subclass PowerElectronics FieldOfStudy)	Mid-level-ontology.kif 21298-21298	Power electronics is a subclass of field of study
(subclass Science FieldOfStudy)	Mid-level-ontology.kif 21121-21121	Science is a subclass of field of study
(subclass Statistics FieldOfStudy)	Mid-level-ontology.kif 21282-21282	Statistics is a subclass of field of study
(subclass Theology FieldOfStudy)	Mid-level-ontology.kif 21313-21313	Theology is a subclass of field of study
(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	The number 2 argument of has expertise is a subclass of field of study
(domainSubclass subField 1 FieldOfStudy)	Mid-level-ontology.kif 21341-21341	The number 1 argument of sub field is a subclass of field of study
(domainSubclass subField 2 FieldOfStudy)	Mid-level-ontology.kif 21342-21342	The number 2 argument of sub field is a subclass of field of study

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

If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position,
then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position

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

KB Term:			Term intersection

English Word: