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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphCircuit

Sigma KEE - GraphCircuit
GraphCircuit

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 5658-5660
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ C6graph.png") pictureList.kif 11111-11111
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ DC8.png") pictureList.kif 10046-10046
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Cycle_graph_C4.png") pictureList.kif 11110-11110
(externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cycle_graph_C5.png") pictureList.kif 11109-11109
(subclass GraphCircuit GraphPath) Merge.kif 5656-5656

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


(termFormat ChineseLanguage GraphCircuit "图回路") chinese_format.kif 937-937
(termFormat EnglishLanguage GraphCircuit "graph circuit") english_format.kif 1081-1081

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


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

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


(=>
    (and
        (equal
            (BeginNodeFn ?GRAPH) ?NODE)
        (equal
            (EndNodeFn ?GRAPH) ?NODE))
    (instance ?GRAPH GraphCircuit))
Merge.kif 5669-5673
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphCircuit)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5604-5610


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