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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphArc
GraphArc(graph arc)
asymptote, center_line, centerline, chord, connection, connexion, diagonal, diameter, element, element_of_a_cone, element_of_a_cylinder, geodesic, geodesic_line, link, perimeter, perpendicular, radius, ray, secant, straight_line, vector

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


(documentation GraphArc ChineseLanguage "Graph 是由 GraphNodeGraphArc 组成,每个 GraphArc 都会联系两个 GraphNode。") chinese_format.kif 2344-2345
(documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") Merge.kif 5844-5845
(documentation GraphArc JapaneseLanguage "GraphGraphNode および GraphArc で構成さ れる。すべての GraphArc は 2つの GraphNode をリンクする。") japanese_format.kif 1018-1019
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1788-1788
(subclass GraphArc GraphElement) Merge.kif 5842-5842 Graph arc is a subclass of graph element

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


(subclass GraphLoop GraphArc) Merge.kif 5852-5852 Graph loop is a subclass of graph arc
(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 "arco del grafo") terms-it.txt 152-152
(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 5922-5922 The number 1 argument of initial node is an instance of graph arc
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5932-5932 The number 1 argument of terminal node is an instance of graph arc
(domain arcWeight 1 GraphArc) Merge.kif 5964-5964 The number 1 argument of arc weight is an instance of graph arc
(domain links 3 GraphArc) Merge.kif 5875-5875 The number 3 argument of links is an instance of graph arc
(partition GraphElement GraphNode GraphArc) Merge.kif 5820-5820 Graph element is exhaustively partitioned into graph node and graph arc

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 6165-6176
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 5675-5683
(=>
    (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 5726-5737
(=>
    (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 5739-5750
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 5847-5850

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