Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Chart(chart)
|
| appearance as argument number 1 |
|
| (subclass Chart Icon) | Mid-level-ontology.kif 14805-14805 | Chart is a subclass of icon |
| (documentation Chart EnglishLanguage "An Icon which depicts one or more quantities.") | Mid-level-ontology.kif 14806-14806 | Chart is a subclass of icon |
| (externalImage Chart "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Cubicpoly.svg/ 255px_Cubicpoly.svg.png") | pictureList.kif 1124-1124 | Chart is a subclass of icon |
| (externalImage Chart "http://upload.wikimedia.org/wikipedia/commons/5/55/ Composition_of_38th_Parliament.png") | pictureList.kif 4593-4593 | Chart is a subclass of icon |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14808-14813 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 14837-14842 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
|