|
|
   Chart
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Chart EnglishLanguage "An Icon which depicts one or more quantities.") | Mid-level-ontology.kif 14581-14581 | |
| (externalImage Chart "http://upload.wikimedia.org/wikipedia/commons/5/55/ Composition_of_38th_Parliament.png") | pictureList.kif 4593-4593 | |
| (externalImage Chart "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Cubicpoly.svg/ 255px_Cubicpoly.svg.png") | pictureList.kif 1124-1124 | |
| (subclass Chart Icon) | Mid-level-ontology.kif 14580-14580 | Chart is a subclass of icon |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chart "图表") | domainEnglishFormat.kif 14211-14211 | |
| (termFormat ChineseTraditionalLanguage Chart "圖表") | domainEnglishFormat.kif 14210-14210 | |
| (termFormat EnglishLanguage Chart "chart") | domainEnglishFormat.kif 14209-14209 |
| antecedent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14583-14588 |
|
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 14612-14617 |
|
|
|
|
