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 是由 GraphNode 和 GraphArc 组成，每个 GraphArc 都会联系两个 GraphNode。") chinese_format.kif 2344-2345
(documentation GraphArc EnglishLanguage "Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.") Merge.kif 5405-5406
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1789-1789 externalImage GraphArc and "http://upload.wikimedia.org/wikipedia/commons/5/5b/ 6n-graf.svg"
(subclass GraphArc GraphElement) Merge.kif 5403-5403 subclass GraphArc and GraphElement

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


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

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 5481-5481 domain InitialNodeFn, 1 and GraphArc
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5491-5491 domain TerminalNodeFn, 1 and GraphArc
(domain arcWeight 1 GraphArc) Merge.kif 5523-5523 domain arcWeight, 1 and GraphArc
(domain links 3 GraphArc) Merge.kif 5432-5432 domain links, 3 and GraphArc
(partition GraphElement GraphNode GraphArc) Merge.kif 5381-5381 partition GraphElement, GraphNode and GraphArc

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 5730-5740
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))		 Merge.kif 5262-5270
(=>
    (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 5313-5323
(=>
    (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 5325-5335
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))		 Merge.kif 5408-5411

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