Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GraphElement
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GraphElement Proposition) | Merge.kif 5939-5939 | Graph element is a subclass of proposition |
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5940-5940 | Graph element is exhaustively partitioned into graph node and graph arc |
| (documentation GraphElement EnglishLanguage "Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs.") | Merge.kif 5942-5943 | Graph element is exhaustively partitioned into graph node and graph arc |
| (externalImage GraphElement "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n_graf.svg") | pictureList.kif 1788-1788 | Graph element is exhaustively partitioned into graph node and graph arc |
| appearance as argument number 2 |
|
|
| (subclass GraphNode GraphElement) | Merge.kif 5952-5952 | Graph node is a subclass of graph element |
| (subclass GraphArc GraphElement) | Merge.kif 5962-5962 | Graph arc is a subclass of graph element |
| (termFormat EnglishLanguage GraphElement "graph element") | english_format.kif 1091-1091 | Graph arc is a subclass of graph element |
| appearance as argument number 3 |
|
|
| (domain graphPart 1 GraphElement) | Merge.kif 6007-6007 | The number 1 argument of graph part is an instance of graph element |
| antecedent |
|
|
| (=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5945-5950 | If X is an instance of graph element, then there exists Y such that Y is an instance of graph and X is a part of Y |
|
