PseudoGraph - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PseudoGraph Graph)	Merge.kif 5921-5921	Pseudo graph is a subclass of graph
(documentation PseudoGraph EnglishLanguage "The Class of pseudographs. A pseudograph is a Graph containing at least one GraphLoop.")	Merge.kif 5923-5924	Pseudo graph is a subclass of graph
(externalImage PseudoGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg")	pictureList.kif 1940-1940	Pseudo graph is a subclass of graph

appearance as argument number 2

(termFormat EnglishLanguage PseudoGraph "pseudo graph")

antecedent

(=>
    (instance ?GRAPH PseudoGraph)
    (exists (?LOOP)
        (and
            (instance ?LOOP GraphLoop)
            (graphPart ?LOOP ?GRAPH))))

If X is an instance of pseudo graph, then there exists Y such that Y is an instance of graph loop and Y is a part of X

consequent

(=>
    (and
        (instance ?LOOP GraphLoop)
        (graphPart ?LOOP ?GRAPH))
    (instance ?GRAPH PseudoGraph))

If X is an instance of graph loop and X is a part of Y, then Y is an instance of pseudo graph