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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FieldOfStudy
FieldOfStudy(field of study)
ANOVA, Assyriology, Boolean_algebra, Boolean_logic, EE, Egyptology, English, Euclidean_geometry, Fourier_analysis, Freudian_psychology, Galois_theory, Gestalt_psychology, Gnostic, IP, IT, Jungian_psychology, Masora, Masorah, NLP, Neoplatonism, Newtonian_mechanics, OB, Occidentalism, Oriental_Studies, Orientalism, QCD, QED, Riemannian_geometry, Sinology, Sumerology, accidence, acoustic, acoustical, acoustics, aerodynamic, aerodynamics, aerological, aerology, aeromechanics, aeromedical, aeromedicine, aeronautical_engineering, aeronautics, aerophilately, aerospace_medicine, aesthetic, aesthetics, aetiologic, aetiological, aetiology...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3756-3758
No TPTP formula. May not be expressible in strict first order. Merge.kif 16930-16935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10993-10993
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10992-10992
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10014-10014
No TPTP formula. May not be expressible in strict first order. Merge.kif 16929-16929 Field of study is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22776-22776 Archeology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22813-22813 Architecture is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22921-22921 Electrical engineering is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22928-22928 Electronics is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22969-22969 Field of law is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22961-22961 History is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22752-22752 Interior design is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22744-22744 Literature is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22748-22748 Mathematics is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22943-22943 Mechanical engineering is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22937-22937 Mechanics is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22958-22958 Military science is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22965-22965 Philosophy is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22933-22933 Power electronics is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22756-22756 Science is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22917-22917 Statistics is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22948-22948 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1231-1231 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. english_format.kif 1683-1683 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. french_format.kif 909-909 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 442-442 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. terms-it.txt 445-445 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2593-2593 Theology is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 861-861 Theology is a subclass of field of study

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22984-22984 The number 2 argument of has expertise is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22976-22976 The number 1 argument of sub field is a subclass of field of study
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22977-22977 The number 2 argument of sub field is a subclass of field of study

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9517-9526


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