| Chart(chart)
|
| appearance as argument number 1 |
|
| (documentation Chart EnglishLanguage "An Icon which depicts one or more quantities.") | Mid-level-ontology.kif 14138-14138 | |
| (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 14137-14137 | Chart is a subclass of icon |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chart "图表") | domainEnglishFormat.kif 14217-14217 | |
| (termFormat ChineseTraditionalLanguage Chart "圖表") | domainEnglishFormat.kif 14216-14216 | |
| (termFormat EnglishLanguage Chart "chart") | domainEnglishFormat.kif 14215-14215 |
| antecedent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14140-14145 |
|
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 14169-14174 |
|
|
|
|