Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GraphNode(graph node)
|  | Cartesian_coordinate, abscissa, co-ordinate, coordinate, intercept, ordinate, origin, polar_coordinate |
| appearance as argument number 1 |
|
|
| (subclass GraphNode GraphElement) | Merge.kif 5952-5952 | Graph node is a subclass of graph element |
| (documentation GraphNode EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphNode is linked by a GraphArc.") | Merge.kif 5954-5955 | Graph node is a subclass of graph element |
| (externalImage GraphNode "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n_graf.svg") | pictureList.kif 1790-1790 | Graph node is a subclass of graph element |
| appearance as argument number 2 |
|
|
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5940-5940 | Graph element is exhaustively partitioned into graph node and graph arc |
| (range InitialNodeFn GraphNode) | Merge.kif 6042-6042 | The range of initial node is an instance of graph node |
| (range TerminalNodeFn GraphNode) | Merge.kif 6052-6052 | The range of terminal node is an instance of graph node |
| (range BeginNodeFn GraphNode) | Merge.kif 6062-6062 | The range of begin node is an instance of graph node |
| (range EndNodeFn GraphNode) | Merge.kif 6073-6073 | The range of end node is an instance of graph node |
| (termFormat EnglishLanguage GraphNode "graph node") | english_format.kif 1093-1093 | The range of end node is an instance of graph node |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GRAPH Graph) (instance ?NODE1 GraphNode) (instance ?NODE2 GraphNode) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (not (equal ?NODE1 ?NODE2))) (exists (?ARC ?PATH) (or (links ?NODE1 ?NODE2 ?ARC) (and (subGraph ?PATH ?GRAPH) (instance ?PATH GraphPath) (or (and (equal (BeginNodeFn ?PATH) ?NODE1) (equal (EndNodeFn ?PATH) ?NODE2)) (and (equal (BeginNodeFn ?PATH) ?NODE2) (equal (EndNodeFn ?PATH) ?NODE1))))))) |
Merge.kif 5750-5770 | If All of the following hold: (1) X is an instance of graph (2) Y is an instance of graph node (3) Z is an instance of graph node (4) Y is a part of X (5) Z is a part of X (6) equal Y and Z, then All of the following hold: (1) there exist W (2) V such that W links Y (3) Z, V is a subgraph of X (4) V is an instance of graph path (5) equal the beginning of V (6) Y (7) equal the end of V (8) Z, or equal the beginning of V (9) Z (10) equal the end of V (11) Y |
| (=> (instance ?NODE GraphNode) (exists (?OTHER ?ARC) (links ?NODE ?OTHER ?ARC))) |
Merge.kif 5957-5960 | If X is an instance of graph node, then there exist Y, Z such that Z links X, and Y |
| (=> (and (graphMeasure ?G ?M) (instance ?AN GraphNode) (graphPart ?AN ?G) (graphPart ?AA ?G) (instance ?AA GraphArc) (abstractCounterpart ?AN ?PN) (abstractCounterpart ?AA ?PA) (arcWeight ?AA ?N)) (measure ?PA (MeasureFn ?N ?M))) |
Merge.kif 6284-6295 | If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s) |
| consequent |
|
|
| (=> (and (instance ?TS TransitSystem) (instance ?TJ TransitwayJunction) (abstractCounterpart ?G ?TS) (systemPart ?TJ ?TS)) (exists (?GN) (and (instance ?GN GraphNode) (abstractCounterpart ?GN ?TJ) (graphPart ?GN ?G)))) |
Transportation.kif 3999-4009 | If X is an instance of transit system, Y is an instance of transitway junction, the abstract counterpart of X is Z, and X is a system part of Y, then there exists W such that W is an instance of graph node, the abstract counterpart of Y is W, and W is a part of Z |
|