| 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 5679-5681 | |
| (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 5677-5677 |
| 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 5683-5688 |
| consequent |
|
|
| (=> (and (equal (BeginNodeFn ?GRAPH) ?NODE) (equal (EndNodeFn ?GRAPH) ?NODE)) (instance ?GRAPH GraphCircuit)) |
Merge.kif 5690-5694 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5625-5631 |
|
|
|