|
|
   DirectedGraph
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DirectedGraph ChineseLanguage "这是有向图的 Class，有向图的所有 GraphArc 都 有方向，即是每一个 GraphArc 有一个始点(可参考 InitialNodeFn)和一个终点(可参考 TerminalNodeFn)。") | chinese_format.kif 2326-2328 | |
| (documentation DirectedGraph EnglishLanguage "The Class of directed graphs. A directed graph is a Graph in which all GraphArcs have direction, i.e. every GraphArc has an initial node (see InitialNodeFn) and a terminal node (see TerminalNodeFn).") | Merge.kif 5576-5579 | |
| (externalImage DirectedGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Directed.svg") | pictureList.kif 1729-1729 | |
| (subclass DirectedGraph Graph) | Merge.kif 5574-5574 |
| appearance as argument number 2 |
|
|
| (subclass GraphPath DirectedGraph) | Merge.kif 5624-5624 | |
| (subclass Tree DirectedGraph) | Merge.kif 5591-5591 | |
| (termFormat ChineseLanguage DirectedGraph "有向图") | chinese_format.kif 934-934 | |
| (termFormat EnglishLanguage DirectedGraph "directed graph") | english_format.kif 1075-1075 |
| antecedent |
|
|
| (=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1)))) |
Merge.kif 5972-5978 | |
| (=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2)))) |
Merge.kif 5581-5589 |
|
|
|
