Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Graph
Graph

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 5307-5311
(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 5305-5305 subclass Graph and Proposition

appearance as argument number 2
-------------------------


(subclass DirectedGraph Graph) Merge.kif 5351-5351 subclass DirectedGraph and Graph
(subclass MultiGraph Graph) Merge.kif 5446-5446 subclass MultiGraph and Graph
(subclass PseudoGraph Graph) Merge.kif 5464-5464 subclass PseudoGraph and Graph
(termFormat ChineseLanguage Graph "图") chinese_format.kif 933-933
(termFormat EnglishLanguage Graph "graph") english_format.kif 1078-1078

appearance as argument number 3
-------------------------


(domain CutSetFn 1 Graph) Merge.kif 5732-5732 domain CutSetFn, 1 and Graph
(domain MinimalCutSetFn 1 Graph) Merge.kif 5740-5740 domain MinimalCutSetFn, 1 and Graph
(domain graphMeasure 1 Graph) Merge.kif 5810-5810 domain graphMeasure, 1 and Graph
(domain graphPart 2 Graph) Merge.kif 5542-5542 domain graphPart, 2 and Graph
(domain subGraph 1 Graph) Merge.kif 5551-5551 domain subGraph, 1 and Graph
(domain subGraph 2 Graph) Merge.kif 5552-5552 domain subGraph, 2 and Graph

antecedent
-------------------------


(=>
    (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 5313-5333
(=>
    (instance ?GRAPH Graph)
    (exists (?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
        (and
            (graphPart ?NODE1 ?GRAPH)
            (graphPart ?NODE2 ?GRAPH)
            (graphPart ?NODE3 ?GRAPH)
            (graphPart ?ARC1 ?GRAPH)
            (graphPart ?ARC2 ?GRAPH)
            (links ?NODE1 ?NODE2 ?ARC1)
            (links ?NODE2 ?NODE3 ?ARC2)
            (not
                (equal ?NODE1 ?NODE2))
            (not
                (equal ?NODE2 ?NODE3))
            (not
                (equal ?NODE1 ?NODE3))
            (not
                (equal ?ARC1 ?ARC2)))))		 Merge.kif 5335-5349
(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))		 Merge.kif 5748-5750

consequent
-------------------------


(=>
    (instance ?PART GraphElement)
    (exists (?GRAPH)
        (and
            (instance ?GRAPH Graph)
            (graphPart ?PART ?GRAPH))))		 Merge.kif 5482-5487
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))		 Transportation.kif 2817-2822


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners