| 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 5764-5766 | |
| (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 11088-11088 | |
| (externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ DC8.png") | pictureList.kif 10035-10035 | |
| (externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Cycle_graph_C4.png") | pictureList.kif 11087-11087 | |
| (externalImage GraphCircuit "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cycle_graph_C5.png") | pictureList.kif 11086-11086 | |
| (subclass GraphCircuit GraphPath) | Merge.kif 5762-5762 |
| 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 de GraphCircuit "Graphschaltkreis") | terms-de.txt 440-440 | |
| (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 5768-5773 |
| consequent |
|
|
| (=> (and (equal (BeginNodeFn ?GRAPH) ?NODE) (equal (EndNodeFn ?GRAPH) ?NODE)) (instance ?GRAPH GraphCircuit)) |
Merge.kif 5775-5779 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5708-5714 |
|
|
|