Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Mathematics(mathematics)
more pictures... |  | analytic, arithmetic, math, mathematical, mathematics, maths |
| appearance as argument number 1 |
|
|
| (subclass Mathematics FieldOfStudy) | Mid-level-ontology.kif 23356-23356 | Mathematics is a subclass of field of study |
| (documentation Mathematics EnglishLanguage "The FieldOfStudy dealing with quantities and their relations to one another.") | Mid-level-ontology.kif 23357-23358 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ GodfreyKneller_IsaacNewton-1689.jpg") | pictureList.kif 7284-7284 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Carl_Friedrich_Gauss.jpg") | pictureList.kif 7285-7285 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Limitcycle.jpg") | pictureList.kif 7286-7286 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Oldfaithful3.png") | pictureList.kif 7287-7287 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Airflow_Obstructed_Duct.png") | pictureList.kif 7288-7288 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 7289-7289 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Maximum_boxed.png") | pictureList.kif 7290-7290 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Arbitrary_gametree_solved.png") | pictureList.kif 7291-7291 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") | pictureList.kif 7292-7292 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Composite_trapezoidal_rule_illustration_small.png") | pictureList.kif 7293-7293 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ BernoullisLawDerivationDiagram.png") | pictureList.kif 7294-7294 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Abacus_6.png") | pictureList.kif 7295-7295 | Mathematics is a subclass of field of study |
| (externalImage Mathematics "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Quipu.png") | pictureList.kif 7296-7296 | Mathematics is a subclass of field of study |
| appearance as argument number 2 |
|
|
| (subField Mechanics Mathematics) | Mid-level-ontology.kif 23506-23506 | Mechanics is a sub-field of mathematics |
| (termFormat EnglishLanguage Mathematics "mathematics") | domainEnglishFormat.kif 36509-36509 | Mechanics is a sub-field of mathematics |
| (termFormat ChineseTraditionalLanguage Mathematics "數學") | domainEnglishFormat.kif 36510-36510 | Mechanics is a sub-field of mathematics |
| (termFormat ChineseLanguage Mathematics "数学") | domainEnglishFormat.kif 36511-36511 | Mechanics is a sub-field of mathematics |
| consequent |
|
|
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 509-511 | If mathematician is an attribute of X, then mathematics has an expertise in X |
|