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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphArc
GraphArc
قَوْس المُخَطَّط, ArcoDelGrafo, Arco_do_Grafo, arc_du_graph, asymptote, center_line, centerline, chaapa_aalekha, 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, talaguhitang_hubog, vector, 图弧

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


(documentation GraphArc ChineseLanguage "Graph 是由 GraphNodeGraphArc 组成,每个 GraphArc 都会联系两个 GraphNode。") Merge.kif 5938-5939
(documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") Merge.kif 5936-5937
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1789-1789
(subclass GraphArc GraphElement) Merge.kif 5935-5935

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


(subclass GraphLoop GraphArc) Merge.kif 5946-5946
(termFormat ChineseLanguage GraphArc "图弧") chinese_format.kif 942-942
(termFormat EnglishLanguage GraphArc "graph arc") english_format.kif 629-629
(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 PortugueseLanguage GraphArc "Arco do Grafo") portuguese_format.kif 570-570
(termFormat ar GraphArc "قَوْس المُخَطَّط") arabic_format.kif 354-354
(termFormat cz GraphArc "graph arc") terms-cz.txt 186-186
(termFormat tg GraphArc "talaguhitang hubog") terms-tg.txt 153-153

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 6019-6019
(domain TerminalNodeFn 1 GraphArc) Merge.kif 6031-6031
(domain arcWeight 1 GraphArc) Merge.kif 6069-6069
(domain links 3 GraphArc) Merge.kif 5965-5965
(partition GraphElement GraphNode GraphArc) Merge.kif 5911-5911

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 6290-6298
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 5786-5794
(=>
    (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 5840-5850
(=>
    (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 5852-5862
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 5941-5944

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 2763-2773


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