Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PseudoGraph

appearance as argument number 1

(documentation PseudoGraph ChineseLanguage "这是伪图的 Class, 一个伪图是拥有起码一个 GraphLoopGraph。") 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 " 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


    (instance ?GRAPH PseudoGraph)
    (exists (?LOOP)
            (instance ?LOOP GraphLoop)
            (graphPart ?LOOP ?GRAPH))))
Merge.kif 5710-5715


        (instance ?LOOP GraphLoop)
        (graphPart ?LOOP ?GRAPH))
    (instance ?GRAPH PseudoGraph))
Merge.kif 5717-5721

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners