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 |
![]() |
(documentation GraphArc ChineseLanguage "Graph 是由 GraphNode 和 GraphArc 组成,每个 GraphArc 都会联系两个 GraphNode。") | chinese_format.kif 2344-2345 | |
(documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") | Merge.kif 5835-5836 | |
(documentation GraphArc JapaneseLanguage "Graph は GraphNode および GraphArc で構成さ れる。すべての GraphArc は 2つの GraphNode をリンクする。") | japanese_format.kif 1018-1019 | |
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n_graf.svg") | pictureList.kif 1787-1787 | |
(subclass GraphArc GraphElement) | Merge.kif 5833-5833 | Graph arc is a subclass of graph element |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain InitialNodeFn 1 GraphArc) | Merge.kif 5913-5913 | The number 1 argument of initial node is an instance of graph arc |
(domain TerminalNodeFn 1 GraphArc) | Merge.kif 5923-5923 | The number 1 argument of terminal node is an instance of graph arc |
(domain arcWeight 1 GraphArc) | Merge.kif 5955-5955 | The number 1 argument of arc weight is an instance of graph arc |
(domain links 3 GraphArc) | Merge.kif 5866-5866 | The number 3 argument of links is an instance of graph arc |
(partition GraphElement GraphNode GraphArc) | Merge.kif 5811-5811 | Graph element is exhaustively partitioned into graph node and graph arc |
antecedent |
![]() |
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 3441-3451 |
|
![]() |
![]() |