|
|
   PseudoGraph
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PseudoGraph ChineseLanguage "这是伪图的 Class， 一个伪图是拥有起码一个 GraphLoop 的 Graph。") | chinese_format.kif 2338-2339 | |
| (documentation PseudoGraph EnglishLanguage "The Class of pseudographs. A pseudograph is a Graph containing at least one GraphLoop.") | Merge.kif 5707-5708 | |
| (externalImage PseudoGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") | pictureList.kif 1942-1942 | |
| (subclass PseudoGraph Graph) | Merge.kif 5705-5705 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PseudoGraph "伪图") | chinese_format.kif 939-939 | |
| (termFormat EnglishLanguage PseudoGraph "pseudo graph") | english_format.kif 1085-1085 |
| antecedent |
|
|
| (=> (instance ?GRAPH PseudoGraph) (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)))) |
Merge.kif 5710-5715 |
| consequent |
|
|
| (=> (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)) (instance ?GRAPH PseudoGraph)) |
Merge.kif 5717-5721 |
|
|
|
