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, graph_arc, link, perimeter, perpendicular, radius, ray, secant, straight_line, vector, グラフアーク, 图弧

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


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

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


(subclass GraphLoop GraphArc) Merge.kif 8390-8390 Graph loop is a subclass of graph arc
(termFormat ChineseLanguage GraphArc "图弧") chinese_format.kif 942-942 "图弧" is the printable form of graph arc in ChineseLanguage
(termFormat EnglishLanguage GraphArc "graph arc") english_format.kif 1524-1524 "graph arc" is the printable form of graph arc in english language
(termFormat JapaneseLanguage GraphArc "グラフアーク") english_format.kif 1525-1525 "グラフアーク" is the printable form of graph arc in japanese language

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 8492-8492 The number 1 argument of initial node is an instance of graph arc
(domain TerminalNodeFn 1 GraphArc) Merge.kif 8510-8510 The number 1 argument of terminal node is an instance of graph arc
(domain arcWeight 1 GraphArc) Merge.kif 8566-8566 The number 1 argument of arc weight is an instance of graph arc
(domain links 3 GraphArc) Merge.kif 8414-8414 The number 3 argument of links is an instance of graph arc
(partition GraphElement GraphNode GraphArc) Merge.kif 8340-8340 Graph element is exhaustively partitioned into graph node and graph arc

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


(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA
            (MeasureFn ?N ?M)))
    (measure ?PA
        (MeasureFn ?N ?M)))
Merge.kif 8851-8859
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 8189-8197
(=>
    (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 8254-8264
(=>
    (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 8266-8276
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 8385-8388

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 2790-2800


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