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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GraphNode
GraphNode(noeud du graph)

appearance as argument number 1
-------------------------


(documentation GraphNode ChineseLanguage "Graph 是由 GraphNodeGraphArc 组成,所有的 GraphNode 都是由 GraphArc 联系的.") chinese_format.kif 2342-2343
(documentation GraphNode EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphNode is linked by a GraphArc.") Merge.kif 5844-5845
(documentation GraphNode JapaneseLanguage "Grap は GraphNode および GraphArc で構成さ れる。すべての GraphArcGraphNode によってリンクされている。") japanese_format.kif 1016-1017
(externalImage GraphNode "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6n_graf.svg") pictureList.kif 1790-1790
(subclass GraphNode GraphElement) Merge.kif 5842-5842 Noeud du graph est une sous-classe de �lement du graph

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


(partition GraphElement GraphNode GraphArc) Merge.kif 5830-5830 �lement du graph Est compl�tement d�compos� en noeud du graph + arc du graph
(range BeginNodeFn GraphNode) Merge.kif 5953-5953 Le domaine de BeginNodeFn est une instance de noeud du graph
(range EndNodeFn GraphNode) Merge.kif 5964-5964 Le domaine de EndNodeFn est une instance de noeud du graph
(range InitialNodeFn GraphNode) Merge.kif 5933-5933 Le domaine de InitialNodeFn est une instance de noeud du graph
(range TerminalNodeFn GraphNode) Merge.kif 5943-5943 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ChineseLanguage GraphNode "图节点") chinese_format.kif 941-941 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat EnglishLanguage GraphNode "graph node") english_format.kif 1089-1089 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat FrenchLanguage GraphNode "noeud du graph") french_format.kif 617-617 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat Hindi GraphNode "granthi aalekha") terms-hindi.txt 148-148 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ItalianLanguage GraphNode "NodoDelGrafo") terms-it.txt 151-151 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat JapaneseLanguage GraphNode "グラフノード") japanese_format.kif 2302-2302 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat PortugueseLanguage GraphNode "No' do Grafo") portuguese_format.kif 569-569 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat cz GraphNode "graph node") terms-cz.txt 185-185 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat de GraphNode "Graphknoten") terms-de.txt 444-444 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat ro GraphNode "nod într-un graf") relations-ro.kif 638-638 Le domaine de TerminalNodeFn est une instance de noeud du graph
(termFormat tg GraphNode "pinagdugtungang talaguhitan") terms-tg.txt 152-152 Le domaine de TerminalNodeFn est une instance de noeud du graph

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


(domain GraphPathFn 1 GraphNode) Merge.kif 6064-6064 Le nombre 1 argument de GraphPathFn est une instance de noeud du graph
(domain GraphPathFn 2 GraphNode) Merge.kif 6065-6065 Le nombre 2 argument de GraphPathFn est une instance de noeud du graph
(domain MaximalWeightedPathFn 1 GraphNode) Merge.kif 6042-6042 Le nombre 1 argument de MaximalWeightedPathFn est une instance de noeud du graph
(domain MaximalWeightedPathFn 2 GraphNode) Merge.kif 6043-6043 Le nombre 2 argument de MaximalWeightedPathFn est une instance de noeud du graph
(domain MinimalWeightedPathFn 1 GraphNode) Merge.kif 6020-6020 Le nombre 1 argument de MinimalWeightedPathFn est une instance de noeud du graph
(domain MinimalWeightedPathFn 2 GraphNode) Merge.kif 6021-6021 Le nombre 2 argument de MinimalWeightedPathFn est une instance de noeud du graph
(domain links 1 GraphNode) Merge.kif 5883-5883 Le nombre 1 argument de links est une instance de noeud du graph
(domain links 2 GraphNode) Merge.kif 5884-5884 Le nombre 2 argument de links est une instance de noeud du graph

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


(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (graphPart ?AN ?G)
        (graphPart ?AA ?G)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA ?N))
    (measure ?PA
        (MeasureFn ?N ?M)))
Merge.kif 6175-6186
(=>
    (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 5640-5660
(=>
    (instance ?NODE GraphNode)
    (exists (?OTHER ?ARC)
        (links ?NODE ?OTHER ?ARC)))
Merge.kif 5847-5850

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


(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))
Transportation.kif 3456-3466


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 3.0 is open source software produced by Articulate Software and its partners