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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mathematics
Mathematics
more pictures...

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


(documentation Mathematics EnglishLanguage "The FieldOfStudy dealing with quantities and their relations to one another.") Mid-level-ontology.kif 17503-17504
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Oldfaithful3.png") pictureList.kif 9410-9410
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Airflow-Obstructed-Duct.png") pictureList.kif 9412-9412
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 8592-8592
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Maximum_boxed.png") pictureList.kif 9411-9411
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Euclid.jpg") pictureList.kif 6692-6692
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ GodfreyKneller-IsaacNewton-1689.jpg") pictureList.kif 7287-7287
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Arbitrary-gametree-solved.png") pictureList.kif 7294-7294
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 7295-7295
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 9408-9408
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Carl_Friedrich_Gauss.jpg") pictureList.kif 7288-7288
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Limitcycle.jpg") pictureList.kif 7289-7289
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 9409-9409
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Abacus_6.png") pictureList.kif 9413-9413
(externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Quipu.png") pictureList.kif 7299-7299
(instance Mathematics FieldOfStudy) Mid-level-ontology.kif 17502-17502

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


(termFormat ChineseLanguage Mathematics "数学") domainEnglishFormat.kif 36492-36492
(termFormat ChineseTraditionalLanguage Mathematics "數學") domainEnglishFormat.kif 36491-36491
(termFormat EnglishLanguage Mathematics "mathematics") domainEnglishFormat.kif 36490-36490

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


(=>
    (attribute ?PERSON Mathematician)
    (hasExpertise ?PERSON Mathematics))
Biography.kif 268-270


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