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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mathematics
Mathematics(mathematics)
more pictures...
analytic, arithmetic, math, mathematical, mathematics, maths

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


(documentation Mathematics EnglishLanguage "The FieldOfStudy dealing with quantities and their relations to one another.") Mid-level-ontology.kif 22204-22205
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Oldfaithful3.png") pictureList.kif 7287-7287
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Airflow_Obstructed_Duct.png") pictureList.kif 7288-7288
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 7289-7289
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Maximum_boxed.png") pictureList.kif 7290-7290
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ GodfreyKneller_IsaacNewton-1689.jpg") pictureList.kif 7284-7284
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Arbitrary_gametree_solved.png") pictureList.kif 7291-7291
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 7292-7292
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 7293-7293
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Carl_Friedrich_Gauss.jpg") pictureList.kif 7285-7285
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Limitcycle.jpg") pictureList.kif 7286-7286
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 7294-7294
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Abacus_6.png") pictureList.kif 7295-7295
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Quipu.png") pictureList.kif 7296-7296
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 22203-22203 Mathematics is a subclass of field of study

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


(subField Mechanics Mathematics) Mid-level-ontology.kif 22390-22390 Mechanics is a sub_field of mathematics
(termFormat ChineseLanguage Mathematics "数学") domainEnglishFormat.kif 36535-36535 Mechanics is a sub_field of mathematics
(termFormat ChineseTraditionalLanguage Mathematics "數學") domainEnglishFormat.kif 36534-36534 Mechanics is a sub_field of mathematics
(termFormat EnglishLanguage Mathematics "mathematics") domainEnglishFormat.kif 36533-36533 Mechanics is a sub_field of mathematics

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


(=>
    (attribute ?PERSON Mathematician)
    (hasExpertise ?PERSON Mathematics))
Biography.kif 501-503


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