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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphArc
GraphArc(arc du graph)

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


(documentation GraphArc ChineseLanguage "Graph 是由 GraphNode 和 GraphArc 组成，每个 GraphArc 都会联系两个 GraphNode。") chinese_format.kif 2344-2345
(documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") Merge.kif 5830-5831
(documentation GraphArc JapaneseLanguage "Graph は GraphNode および GraphArc で構成さ れる。すべての GraphArc は ２つの GraphNode をリンクする。") japanese_format.kif 1018-1019
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1789-1789
(subclass GraphArc GraphElement) Merge.kif 5828-5828 Arc du graph est une sous-classe de �lement du graph

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


(subclass GraphLoop GraphArc) Merge.kif 5838-5838 Boucle du graph est une sous-classe de arc du graph
(termFormat ChineseLanguage GraphArc "图弧") chinese_format.kif 942-942
(termFormat EnglishLanguage GraphArc "graph arc") english_format.kif 1091-1091
(termFormat FrenchLanguage GraphArc "arc du graph") french_format.kif 618-618
(termFormat Hindi GraphArc "chaapa aalekha") terms-hindi.txt 149-149
(termFormat ItalianLanguage GraphArc "ArcoDelGrafo") terms-it.txt 150-150
(termFormat JapaneseLanguage GraphArc "グラフアーク") japanese_format.kif 2303-2303
(termFormat PortugueseLanguage GraphArc "Arco do Grafo") portuguese_format.kif 570-570
(termFormat cz GraphArc "graph arc") terms-cz.txt 186-186
(termFormat ro GraphArc "arc de graf") relations-ro.kif 639-639
(termFormat tg GraphArc "talaguhitang hubog") terms-tg.txt 153-153

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 5908-5908 Le nombre 1 argument de InitialNodeFn est une instance de arc du graph
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5918-5918 Le nombre 1 argument de TerminalNodeFn est une instance de arc du graph
(domain arcWeight 1 GraphArc) Merge.kif 5950-5950 Le nombre 1 argument de arcWeight est une instance de arc du graph
(domain links 3 GraphArc) Merge.kif 5861-5861 Le nombre 3 argument de links est une instance de arc du graph
(partition GraphElement GraphNode GraphArc) Merge.kif 5806-5806 �lement du graph Est compl�tement d�compos� en noeud du graph + arc 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 6151-6162
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))		 Merge.kif 5661-5669
(=>
    (and
        (instance ?GRAPH GraphPath)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH)
        (equal
            (InitialNodeFn ?ARC) ?NODE))
    (not
        (exists (?OTHER)
            (and
                (equal
                    (InitialNodeFn ?OTHER) ?NODE)
                (not
                    (equal ?OTHER ?ARC))))))		 Merge.kif 5712-5723
(=>
    (and
        (instance ?GRAPH GraphPath)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (not
        (exists (?OTHER)
            (and
                (equal
                    (TerminalNodeFn ?OTHER) ?NODE)
                (not
                    (equal ?OTHER ?ARC))))))		 Merge.kif 5725-5736
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))		 Merge.kif 5833-5836

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


(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?T Transitway)
        (abstractCounterpart ?G ?TS)
        (systemPart ?T ?TS))
    (exists (?GA)
        (and
            (instance ?GA GraphArc)
            (abstractCounterpart ?GA ?T)
            (graphPart ?GA ?G))))		 Transportation.kif 2846-2856


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