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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphArc
GraphArc(arco del grafo)

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 5845-5846
(documentation GraphArc JapaneseLanguage "Graph は GraphNode および GraphArc で構成さ れる。すべての GraphArc は ２つの GraphNode をリンクする。") japanese_format.kif 1018-1019
(externalImage GraphArc "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ 6n-graf.svg") pictureList.kif 1788-1788
(subclass GraphArc GraphElement) Merge.kif 5843-5843 Arco del grafo è una sottoclasse di ElementoDelGrafo

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


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

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


(domain InitialNodeFn 1 GraphArc) Merge.kif 5923-5923 Il numero 1 argomenti di InitialNodeFn è un istanza di arco del grafo
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5933-5933 Il numero 1 argomenti di TerminalNodeFn è un istanza di arco del grafo
(domain arcWeight 1 GraphArc) Merge.kif 5965-5965 Il numero 1 argomenti di arcWeight è un istanza di arco del grafo
(domain links 3 GraphArc) Merge.kif 5876-5876 Il numero 3 argomenti di links è un istanza di arco del grafo
(partition GraphElement GraphNode GraphArc) Merge.kif 5821-5821 ElementoDelGrafo è esaustivamente partizionato in NodoDelGrafo + arco del grafo

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 6166-6177
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))		 Merge.kif 5676-5684
(=>
    (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 5727-5738
(=>
    (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 5740-5751
(=>
    (instance ?ARC GraphArc)
    (exists (?NODE1 ?NODE2)
        (links ?NODE1 ?NODE2 ?ARC)))		 Merge.kif 5848-5851

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 2879-2889


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