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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphCircuit
GraphCircuit(circuit du graph)

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


(documentation GraphCircuit ChineseLanguage "这是一个开始 (可参考 BeginNodeFn) 和结束 (可参考 EndNodeFn) 都在同一个 GraphNodeGraphPath。") chinese_format.kif 2334-2335
(documentation GraphCircuit EnglishLanguage "A GraphPath that begins (see BeginNodeFn) and ends (see EndNodeFn) at the same GraphNode.") Merge.kif 5755-5757
(documentation GraphCircuit JapaneseLanguage "GraphPath は、同時に GraphNode で開始し、 (BeginNodeFn を参照) で終了 (EndNodeFn を参照) する。") japanese_format.kif 1008-1009
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ C6graph.png") pictureList.kif 11095-11095
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ DC8.png") pictureList.kif 10037-10037
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Cycle_graph_C4.png") pictureList.kif 11094-11094
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cycle_graph_C5.png") pictureList.kif 11093-11093
(subclass GraphCircuit GraphPath) Merge.kif 5753-5753 Circuit du graph est une sous-classe de chemin du graph

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


(termFormat ChineseLanguage GraphCircuit "图回路") chinese_format.kif 937-937
(termFormat EnglishLanguage GraphCircuit "graph circuit") english_format.kif 1081-1081
(termFormat FrenchLanguage GraphCircuit "circuit du graph") french_format.kif 613-613
(termFormat Hindi GraphCircuit "aalekha paripatha") terms-hindi.txt 144-144
(termFormat ItalianLanguage GraphCircuit "CircuitoDelGrafo") terms-it.txt 147-147
(termFormat JapaneseLanguage GraphCircuit "グラフ回路") japanese_format.kif 2298-2298
(termFormat PortugueseLanguage GraphCircuit "Circuito do Grafo") portuguese_format.kif 565-565
(termFormat cz GraphCircuit "graph circuit") terms-cz.txt 181-181
(termFormat ro GraphCircuit "circuit de graf") relations-ro.kif 634-634
(termFormat tg GraphCircuit "paligid ng talaguhitan") terms-tg.txt 148-148

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


(=>
    (instance ?GRAPH GraphCircuit)
    (exists (?NODE)
        (and
            (equal
                (BeginNodeFn ?GRAPH) ?NODE)
            (equal
                (EndNodeFn ?GRAPH) ?NODE))))
Merge.kif 5759-5764

consequent
-------------------------


(=>
    (and
        (equal
            (BeginNodeFn ?GRAPH) ?NODE)
        (equal
            (EndNodeFn ?GRAPH) ?NODE))
    (instance ?GRAPH GraphCircuit))
Merge.kif 5766-5770
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphCircuit)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5699-5705


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