| GraphArc
| |
| 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 5615-5616 | |
| (externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") | pictureList.kif 1789-1789 | |
| (subclass GraphArc GraphElement) | Merge.kif 5613-5613 |
| appearance as argument number 2 |
|
|
| (subclass GraphLoop GraphArc) | Merge.kif 5623-5623 | |
| (termFormat ChineseLanguage GraphArc "图弧") | chinese_format.kif 942-942 | |
| (termFormat EnglishLanguage GraphArc "graph arc") | english_format.kif 1091-1091 |
| appearance as argument number 3 |
|
|
| (domain InitialNodeFn 1 GraphArc) | Merge.kif 5691-5691 | |
| (domain TerminalNodeFn 1 GraphArc) | Merge.kif 5701-5701 | |
| (domain arcWeight 1 GraphArc) | Merge.kif 5733-5733 | |
| (domain links 3 GraphArc) | Merge.kif 5642-5642 | |
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5591-5591 |
| antecedent |
|
|
| (=> (and (graphMeasure ?G ?M) (instance ?AN GraphNode) (graphPart ?AN ?G) (graphPart ?AA ?G) (instance ?AA GraphArc) (abstractCounterpart ?AN ?PN) (abstractCounterpart ?AA ?PA) (arcWeight ?AA (MeasureFn ?N ?M))) (measure ?PA (MeasureFn ?N ?M))) |
Merge.kif 5940-5950 | |
| (=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2)))) |
Merge.kif 5472-5480 | |
| (=> (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 5523-5533 | |
| (=> (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 5535-5545 | |
| (=> (instance ?ARC GraphArc) (exists (?NODE1 ?NODE2) (links ?NODE1 ?NODE2 ?ARC))) |
Merge.kif 5618-5621 |
| 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 2853-2863 |
|
|
|