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 5835-5836
(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 1787-1787
(subclass GraphArc GraphElement) Merge.kif 5833-5833 Graph arc is a subclass of graph element

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


(subclass GraphLoop GraphArc) Merge.kif 5843-5843 Graph loop is a subclass of graph arc
(termFormat ChineseLanguage GraphArc "图弧") chinese_format.kif 942-942 Graph loop is a subclass of graph arc
(termFormat EnglishLanguage GraphArc "graph arc") english_format.kif 1091-1091 Graph loop is a subclass of graph arc
(termFormat FrenchLanguage GraphArc "arc du graph") french_format.kif 618-618 Graph loop is a subclass of graph arc
(termFormat Hindi GraphArc "chaapa aalekha") terms-hindi.txt 149-149 Graph loop is a subclass of graph arc
(termFormat ItalianLanguage GraphArc "arco del grafo") terms-it.txt 152-152 Graph loop is a subclass of graph arc
(termFormat JapaneseLanguage GraphArc "グラフアーク") japanese_format.kif 2303-2303 Graph loop is a subclass of graph arc
(termFormat PortugueseLanguage GraphArc "Arco do Grafo") portuguese_format.kif 570-570 Graph loop is a subclass of graph arc
(termFormat cz GraphArc "graph arc") terms-cz.txt 186-186 Graph loop is a subclass of graph arc
(termFormat de GraphArc "Graphbogen") terms-de.txt 445-445 Graph loop is a subclass of graph arc
(termFormat ro GraphArc "arc de graf") relations-ro.kif 639-639 Graph loop is a subclass of graph arc
(termFormat tg GraphArc "talaguhitang hubog") terms-tg.txt 153-153 Graph loop is a subclass of graph arc

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 5913-5913 The number 1 argument of initial node is an instance of graph arc
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5923-5923 The number 1 argument of terminal node is an instance of graph arc
(domain arcWeight 1 GraphArc) Merge.kif 5955-5955 The number 1 argument of arc weight is an instance of graph arc
(domain links 3 GraphArc) Merge.kif 5866-5866 The number 3 argument of links is an instance of graph arc
(partition GraphElement GraphNode GraphArc) Merge.kif 5811-5811 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 6156-6167
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 5666-5674
(=>
    (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 5717-5728
(=>
    (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 5730-5741
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 5838-5841

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 3441-3451


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