| GraphNode(图节点)
| |
| appearance as argument number 1 |
|
|
| (documentation GraphNode ChineseLanguage "Graph 是由 GraphNode 和 GraphArc 组成，所有的 GraphNode 都是由 GraphArc 联系的.") | chinese_format.kif 2342-2343 | |
| (documentation GraphNode EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphNode is linked by a GraphArc.") | Merge.kif 5732-5733 | |
| (externalImage GraphNode "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n-graf.svg") | pictureList.kif 1792-1792 | |
| (subclass GraphNode GraphElement) | Merge.kif 5730-5730 | 图节点 是 图元素 的 subclass |
| appearance as argument number 2 |
|
|
| (partition GraphElement GraphNode GraphArc) | Merge.kif 5718-5718 | 图元素 详尽无遗地 partition 成 图节点 和 图弧 |
| (range BeginNodeFn GraphNode) | Merge.kif 5841-5841 | 节点开端函数 的 range 是 图节点 的实例 |
| (range EndNodeFn GraphNode) | Merge.kif 5852-5852 | 节点末端 的 range 是 图节点 的实例 |
| (range InitialNodeFn GraphNode) | Merge.kif 5821-5821 | 节点起点函数 的 range 是 图节点 的实例 |
| (range TerminalNodeFn GraphNode) | Merge.kif 5831-5831 | 节点终点函数 的 range 是 图节点 的实例 |
| (termFormat ChineseLanguage GraphNode "图节点") | chinese_format.kif 941-941 | |
| (termFormat EnglishLanguage GraphNode "graph node") | english_format.kif 1089-1089 |
| appearance as argument number 3 |
|
|
| (domain GraphPathFn 1 GraphNode) | Merge.kif 5958-5958 | 图路函数 的 1 数量 是 图节点 的 instance |
| (domain GraphPathFn 2 GraphNode) | Merge.kif 5959-5959 | 图路函数 的 2 数量 是 图节点 的 instance |
| (domain MaximalWeightedPathFn 1 GraphNode) | Merge.kif 5933-5933 | 最高加权路径函数 的 1 数量 是 图节点 的 instance |
| (domain MaximalWeightedPathFn 2 GraphNode) | Merge.kif 5934-5934 | 最高加权路径函数 的 2 数量 是 图节点 的 instance |
| (domain MinimalWeightedPathFn 1 GraphNode) | Merge.kif 5908-5908 | 最低加权路径函数 的 1 数量 是 图节点 的 instance |
| (domain MinimalWeightedPathFn 2 GraphNode) | Merge.kif 5909-5909 | 最低加权路径函数 的 2 数量 是 图节点 的 instance |
| (domain links 1 GraphNode) | Merge.kif 5771-5771 | 连接 的 1 数量 是 图节点 的 instance |
| (domain links 2 GraphNode) | Merge.kif 5772-5772 | 连接 的 2 数量 是 图节点 的 instance |
| 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 ?N)) (measure ?PA (MeasureFn ?N ?M))) |
Merge.kif 6069-6080 | |
| (=> (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 5530-5550 |
|
| (=> (instance ?NODE GraphNode) (exists (?OTHER ?ARC) (links ?NODE ?OTHER ?ARC))) |
Merge.kif 5735-5738 |
| 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 2865-2875 |
|
|
|