GraphLoop(graph loop) |
appearance as argument number 1 |
![]() |
(documentation GraphLoop ChineseLanguage "这是一个由 GraphNode 联系着自己的 GraphArc。") | chinese_format.kif 2346-2346 | |
(documentation GraphLoop EnglishLanguage "A GraphArc in which a GraphNode is linked to itself.") | Merge.kif 5821-5822 | |
(externalImage GraphLoop "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ 6n-graph2.svg") | pictureList.kif 1791-1791 | |
(subclass GraphLoop GraphArc) | Merge.kif 5819-5819 | Graph loop is a subclass of graph arc |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage GraphLoop "图环路") | chinese_format.kif 943-943 | |
(termFormat EnglishLanguage GraphLoop "graph loop") | english_format.kif 1093-1093 |
antecedent |
![]() |
(=> (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)) (instance ?GRAPH PseudoGraph)) |
Merge.kif 5780-5784 |
|
(=> (instance ?LOOP GraphLoop) (exists (?NODE) (links ?NODE ?NODE ?LOOP))) |
Merge.kif 5824-5827 |
|
consequent |
![]() |
![]() |
![]() |