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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectedGraph

Sigma KEE - DirectedGraph
DirectedGraph(directed graph)

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


(documentation DirectedGraph ChineseLanguage "这是有向图的 Class,有向图的所有 GraphArc 都 有方向,即是每一个 GraphArc 有一个始点(可参考 InitialNodeFn)和一个终点(可参考 TerminalNodeFn)。") chinese_format.kif 2326-2328
(documentation DirectedGraph EnglishLanguage "The Class of directed graphs. A directed graph is a Graph in which all GraphArcs have direction, i.e. every GraphArc has an initial node (see InitialNodeFn) and a terminal node (see TerminalNodeFn).") Merge.kif 5601-5604
(externalImage DirectedGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Directed.svg") pictureList.kif 1729-1729
(subclass DirectedGraph Graph) Merge.kif 5599-5599 Directed graph is a subclass of graph

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


(subclass GraphPath DirectedGraph) Merge.kif 5649-5649 Graph path is a subclass of directed graph
(subclass Tree DirectedGraph) Merge.kif 5616-5616 Tree is a subclass of directed graph
(termFormat ChineseLanguage DirectedGraph "有向图") chinese_format.kif 934-934
(termFormat EnglishLanguage DirectedGraph "directed graph") english_format.kif 1075-1075

antecedent
-------------------------


(=>
    (and
        (graphPart ?PATH ?GRAPH)
        (not
            (instance ?GRAPH DirectedGraph)))
    (<=>
        (instance ?PATH
            (GraphPathFn ?NODE1 ?NODE2))
        (instance ?PATH
            (GraphPathFn ?NODE2 ?NODE1))))
Merge.kif 6001-6007
(=>
    (and
        (instance ?GRAPH DirectedGraph)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (exists (?NODE1 ?NODE2)
        (and
            (equal
                (InitialNodeFn ?ARC) ?NODE1)
            (equal
                (TerminalNodeFn ?ARC) ?NODE2))))
Merge.kif 5606-5614


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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