GraphCircuit![]() ![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
(documentation GraphCircuit ChineseLanguage "这是一个开始 (可参考 BeginNodeFn) 和结束 (可参考 EndNodeFn) 都在同一个 GraphNode 的 GraphPath。") | chinese_format.kif 2334-2335 | |
(documentation GraphCircuit EnglishLanguage "A GraphPath that begins (see BeginNodeFn) and ends (see EndNodeFn) at the same GraphNode.") | Merge.kif 5652-5654 | |
(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 5650-5650 |
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 5656-5661 |
consequent |
![]() |
(=> (and (equal (BeginNodeFn ?GRAPH) ?NODE) (equal (EndNodeFn ?GRAPH) ?NODE)) (instance ?GRAPH GraphCircuit)) |
Merge.kif 5663-5667 | |
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5598-5604 |
![]() |
![]() |