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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5671-5674
(documentation DirectedGraph JapaneseLanguage "有向グラフの Class。 有向グラフは、すべての GraphArcs が方向を持つ Graph である。 すなわち、すべての GraphArc には初期ノード (InitialNodeFn を参照) とターミナルノード (TerminalNodeFn を参照) がある。") japanese_format.kif 1000-1002
(externalImage DirectedGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Directed.svg") pictureList.kif 1728-1728
(subclass DirectedGraph Graph) Merge.kif 5669-5669 Directed graph is a subclass of graph

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


(subclass GraphPath DirectedGraph) Merge.kif 5719-5719 Graph path is a subclass of directed graph
(subclass Tree DirectedGraph) Merge.kif 5686-5686 Tree is a subclass of directed graph
(termFormat ChineseLanguage DirectedGraph "有向图") chinese_format.kif 934-934 Tree is a subclass of directed graph
(termFormat EnglishLanguage DirectedGraph "directed graph") english_format.kif 1075-1075 Tree is a subclass of directed graph
(termFormat FrenchLanguage DirectedGraph "graph dirig�e") french_format.kif 610-610 Tree is a subclass of directed graph
(termFormat Hindi DirectedGraph "pratyaksha aalekha") terms-hindi.txt 141-141 Tree is a subclass of directed graph
(termFormat ItalianLanguage DirectedGraph "GrafoDiretto") terms-it.txt 144-144 Tree is a subclass of directed graph
(termFormat JapaneseLanguage DirectedGraph "有向グラフ") japanese_format.kif 2295-2295 Tree is a subclass of directed graph
(termFormat PortugueseLanguage DirectedGraph "Grafo Orientado") portuguese_format.kif 562-562 Tree is a subclass of directed graph
(termFormat cz DirectedGraph "directed graph") terms-cz.txt 178-178 Tree is a subclass of directed graph
(termFormat ro DirectedGraph "graf orientat") relations-ro.kif 631-631 Tree is a subclass of directed graph
(termFormat tg DirectedGraph "tuwirang talaguhitan") terms-tg.txt 145-145 Tree is a subclass of directed graph

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


(=>
    (and
        (graphPart ?PATH ?GRAPH)
        (not
            (instance ?GRAPH DirectedGraph)))
    (<=>
        (instance ?PATH
            (GraphPathFn ?NODE1 ?NODE2))
        (instance ?PATH
            (GraphPathFn ?NODE2 ?NODE1))))		 Merge.kif 6063-6069
(=>
    (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


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