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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphArc
GraphArc

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 5372-5373
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1789-1789
(subclass GraphArc GraphElement) Merge.kif 5370-5370

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


(subclass GraphLoop GraphArc) Merge.kif 5380-5380
(termFormat ChineseLanguage GraphArc "图弧") chinese_format.kif 942-942
(termFormat EnglishLanguage GraphArc "graph arc") english_format.kif 1096-1096

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 5448-5448
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5458-5458
(domain arcWeight 1 GraphArc) Merge.kif 5490-5490
(domain links 3 GraphArc) Merge.kif 5399-5399
(partition GraphElement GraphNode GraphArc) Merge.kif 5348-5348

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
            (MeasureFn ?N ?M)))
    (measure ?PA
        (MeasureFn ?N ?M)))
Merge.kif 5697-5707
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 5229-5237
(=>
    (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 5280-5290
(=>
    (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 5292-5302
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))
Merge.kif 5375-5378

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 2815-2825


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