Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MultiGraph(multi graph)
|
| appearance as argument number 1 |
|
| (subclass MultiGraph Graph) | Merge.kif 5891-5891 | Multi graph is a subclass of graph |
| (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 5893-5895 | Multi graph is a subclass of graph |
| (externalImage MultiGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") | pictureList.kif 1856-1856 | Multi graph is a subclass of graph |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MultiGraph "multi graph") | english_format.kif 1087-1087 |
| 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 5897-5908 | If X is an instance of multi graph, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Z is a part of X (4) W is a part of X (5) V is a part of X (6) Y links W (7) V (8) Z links W (9) V (10) equal Y (11) Z |
| 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 5910-5919 | If All of the following hold: (1) X is a part of Y (2) Z is a part of Y (3) W is a part of Y (4) V is a part of Y (5) X links W and V (6) Z links W and V (7) equal X and Z, then Y is an instance of multi graph |
|