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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PseudoGraph

Sigma KEE - PseudoGraph
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 "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


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