| Chart(chart)
|
| appearance as argument number 1 |
|
| (documentation Chart EnglishLanguage "An Icon which depicts one or more quantities.") | Mid-level-ontology.kif 13460-13460 | |
| (externalImage Chart "http://upload.wikimedia.org/wikipedia/commons/5/55/ Composition_of_38th_Parliament.png") | pictureList.kif 4594-4594 | |
| (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 13459-13459 | Chart is a subclass of icon |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chart "图表") | domainEnglishFormat.kif 14218-14218 | |
| (termFormat ChineseTraditionalLanguage Chart "圖表") | domainEnglishFormat.kif 14217-14217 | |
| (termFormat EnglishLanguage Chart "chart") | domainEnglishFormat.kif 14216-14216 |
| antecedent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 13462-13467 |
|
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 13491-13496 |
|
|
|
|