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。") Merge.kif 5735-5737
(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 5730-5734
(externalImage Graph "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Cubicpoly.svg/ 255px-Cubicpoly.svg.png") pictureList.kif 1125-1125
(subclass Graph Abstract) Merge.kif 5729-5729

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


(subclass DirectedGraph Graph) Merge.kif 5777-5777
(subclass MultiGraph Graph) Merge.kif 5878-5878
(subclass PseudoGraph Graph) Merge.kif 5897-5897
(termFormat ChineseLanguage Graph "图") chinese_format.kif 933-933
(termFormat EnglishLanguage Graph "graph") english_format.kif 620-620
(termFormat FrenchLanguage Graph "graph") french_format.kif 609-609
(termFormat Hindi Graph "aalekha") terms-hindi.txt 140-140
(termFormat ItalianLanguage Graph "Grafo") terms-it.txt 141-141
(termFormat PortugueseLanguage Graph "Grafo") portuguese_format.kif 561-561
(termFormat ar Graph "مُخَطَّط") arabic_format.kif 345-345
(termFormat cb Graph "agi") terms-cb.txt 145-145
(termFormat cz Graph "graph") terms-cz.txt 177-177
(termFormat tg Graph "talaguhitan") terms-tg.txt 144-144

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


(domain CutSetFn 1 Graph) Merge.kif 6187-6187
(domain MinimalCutSetFn 1 Graph) Merge.kif 6196-6196
(domain graphMeasure 1 Graph) Merge.kif 6274-6274
(domain graphPart 2 Graph) Merge.kif 5980-5980
(domain subGraph 1 Graph) Merge.kif 5990-5990
(domain subGraph 2 Graph) Merge.kif 5991-5991

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 5739-5759
(=>
    (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 5761-5775
(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))
Merge.kif 6205-6207

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


(=>
    (instance ?PART GraphElement)
    (exists (?GRAPH)
        (and
            (instance ?GRAPH Graph)
            (graphPart ?PART ?GRAPH))))
Merge.kif 5917-5922
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))
Transportation.kif 2756-2761


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