![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Graph ChineseLanguage "这是图的 Class,我们可以把图理解成一组由 GraphArc 联系 的 GraphNode。注:这个 Class 只包括连通图,即是两个 GraphNode 之间有一个 GraphPath 的图, 也要注意的是每一个 Graph 需要拥有起码两个 GraphArc 和三个 GraphNode。") | chinese_format.kif 2323-2325 | |
(documentation Graph EnglishLanguage "The Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes.") | Merge.kif 5530-5534 | |
(externalImage Graph "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Cubicpoly.svg/ 255px-Cubicpoly.svg.png") | pictureList.kif 1125-1125 | |
(subclass Graph Proposition) | Merge.kif 5528-5528 | Graph is a subclass of proposition |
appearance as argument number 2 |
![]() |
(subclass DirectedGraph Graph) | Merge.kif 5574-5574 | Directed graph is a subclass of graph |
(subclass MultiGraph Graph) | Merge.kif 5675-5675 | Multi graph is a subclass of graph |
(subclass PseudoGraph Graph) | Merge.kif 5705-5705 | Pseudo graph is a subclass of graph |
(termFormat ChineseLanguage Graph "图") | chinese_format.kif 933-933 | |
(termFormat EnglishLanguage Graph "graph") | english_format.kif 1073-1073 |
appearance as argument number 3 |
![]() |
(domain CutSetFn 1 Graph) | Merge.kif 5981-5981 | The number 1 argument of cut set is an instance of graph |
(domain MinimalCutSetFn 1 Graph) | Merge.kif 5989-5989 | The number 1 argument of minimal cut set is an instance of graph |
(domain graphMeasure 1 Graph) | Merge.kif 6059-6059 | The number 1 argument of graphMeasure is an instance of graph |
(domain graphPart 2 Graph) | Merge.kif 5793-5793 | The number 2 argument of graph part is an instance of graph |
(domain subGraph 1 Graph) | Merge.kif 5802-5802 | The number 1 argument of sub graph is an instance of graph |
(domain subGraph 2 Graph) | Merge.kif 5803-5803 | The number 2 argument of sub graph is an instance of graph |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?PART GraphElement) (exists (?GRAPH) (and (instance ?GRAPH Graph) (graphPart ?PART ?GRAPH)))) |
Merge.kif 5729-5734 |
|
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS)))) |
Transportation.kif 2846-2851 |
|
![]() |
![]() |