|
|
   MultiGraph
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MultiGraph ChineseLanguage "这是多样图的 Class，一个多样图拥有起码一对联系超过 一个 GraphArc GraphNode 的 Graph。") | chinese_format.kif 2336-2337 | |
| (documentation MultiGraph EnglishLanguage "The Class of multigraphs. A multigraph is a Graph containing at least one pair of GraphNodes that are connected by more than one GraphArc.") | Merge.kif 5677-5679 | |
| (externalImage MultiGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") | pictureList.kif 1858-1858 | |
| (subclass MultiGraph Graph) | Merge.kif 5675-5675 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MultiGraph "多重图") | chinese_format.kif 938-938 | |
| (termFormat EnglishLanguage MultiGraph "multi graph") | english_format.kif 1083-1083 |
| antecedent |
|
|
| (=> (instance ?GRAPH MultiGraph) (exists (?ARC1 ?ARC2 ?NODE1 ?NODE2) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2))))) |
Merge.kif 5681-5692 |
| consequent |
|
|
| (=> (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2))) (instance ?GRAPH MultiGraph)) |
Merge.kif 5694-5703 |
|
|
|
