![]() |
![]() ![]() ![]()
|
![]() |
|
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 5591-5595 | |
(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 5589-5589 | Graph is a subclass of proposition |
appearance as argument number 2 |
![]() |
(subclass DirectedGraph Graph) | Merge.kif 5635-5635 | Directed graph is a subclass of graph |
(subclass MultiGraph Graph) | Merge.kif 5738-5738 | Multi graph is a subclass of graph |
(subclass PseudoGraph Graph) | Merge.kif 5768-5768 | 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 6038-6038 | The number 1 argument of cut set is an instance of graph |
(domain MinimalCutSetFn 1 Graph) | Merge.kif 6046-6046 | The number 1 argument of minimal cut set is an instance of graph |
(domain graphMeasure 1 Graph) | Merge.kif 6116-6116 | The number 1 argument of graph measure is an instance of graph |
(domain graphPart 2 Graph) | Merge.kif 5856-5856 | The number 2 argument of graph part is an instance of graph |
(domain subGraph 1 Graph) | Merge.kif 5865-5865 | The number 1 argument of sub graph is an instance of graph |
(domain subGraph 2 Graph) | Merge.kif 5866-5866 | 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 5792-5797 |
|
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS)))) |
Transportation.kif 2839-2844 |
|
![]() |
![]() |