| GraphArc(graph arc)
| | asymptote, center_line, centerline, chord, connection, connexion, diagonal, diameter, element, element_of_a_cone, element_of_a_cylinder, geodesic, geodesic_line, link, perimeter, perpendicular, radius, ray, secant, straight_line, vector |
| appearance as argument number 1 |
|
|
| (subclass GraphArc GraphElement) | Merge.kif 5891-5891 | Graph arc is a subclass of graph element |
| (documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") | Merge.kif 5893-5894 | Graph arc is a subclass of graph element |
| (externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n_graf.svg") | pictureList.kif 1787-1787 | Graph arc is a subclass of graph element |
| appearance as argument number 2 |
|
|
| (subclass GraphLoop GraphArc) | Merge.kif 5901-5901 | Graph loop is a subclass of graph arc |
| (termFormat EnglishLanguage GraphArc "graph arc") | english_format.kif 1091-1091 | Graph loop is a subclass of graph arc |
| appearance as argument number 3 |
|
|
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5869-5869 | Graph element is exhaustively partitioned into graph node and graph arc |
| (domain links 3 GraphArc) | Merge.kif 5924-5924 | The number 3 argument of links is an instance of graph arc |
| (domain InitialNodeFn 1 GraphArc) | Merge.kif 5971-5971 | The number 1 argument of initial node is an instance of graph arc |
| (domain TerminalNodeFn 1 GraphArc) | Merge.kif 5981-5981 | The number 1 argument of terminal node is an instance of graph arc |
| (domain arcWeight 1 GraphArc) | Merge.kif 6013-6013 | The number 1 argument of arc weight is an instance of graph arc |
| antecedent |
|
|
| (=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2)))) |
Merge.kif 5724-5732 | If X is an instance of directed graph, Y is an instance of graph arc, and Y is a part of X, then there exist Z, W such that equal the starting node of Y, Z, equal the terminal node of Y, and W |
| (=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH) (equal (InitialNodeFn ?ARC) ?NODE)) (not (exists (?OTHER) (and (equal (InitialNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC)))))) |
Merge.kif 5775-5786 | If X is an instance of graph path, Y is an instance of graph arc, Y is a part of X, and equal the starting node of Y and Z, then there doesn't exist W such that equal the starting node of W, Z, equal W, and Y |
| (=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH) (equal (TerminalNodeFn ?ARC) ?NODE)) (not (exists (?OTHER) (and (equal (TerminalNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC)))))) |
Merge.kif 5788-5799 | If X is an instance of graph path, Y is an instance of graph arc, Y is a part of X, and equal the terminal node of Y and Z, then there doesn't exist W such that equal the terminal node of W, Z, equal W, and Y |
| (=> (instance ?ARC GraphArc) (exists (?NODE1 ?NODE2) (links ?NODE1 ?NODE2 ?ARC))) |
Merge.kif 5896-5899 | If X is an instance of graph arc, then there exist Y, Z such that X links Y, and Z |
| (=> (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 6214-6225 | 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 ?T Transitway) (abstractCounterpart ?G ?TS) (systemPart ?T ?TS)) (exists (?GA) (and (instance ?GA GraphArc) (abstractCounterpart ?GA ?T) (graphPart ?GA ?G)))) |
Transportation.kif 3948-3958 | If X is an instance of transit system, Y is an instance of transitway, 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 arc, the abstract counterpart of Y is W, and W is a part of Z |
|
|
|