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 5803-5804
(documentation PseudoGraph JapaneseLanguage "擬似グラフの Class。擬似グラフは、少なくとも 1つの GraphLoop を含む Graph である。") japanese_format.kif 1012-1013
(externalImage PseudoGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") pictureList.kif 1941-1941
(subclass PseudoGraph Graph) Merge.kif 5801-5801

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PseudoGraph "伪图") chinese_format.kif 939-939
(termFormat EnglishLanguage PseudoGraph "pseudo graph") english_format.kif 1085-1085
(termFormat FrenchLanguage PseudoGraph "pseudo graph") french_format.kif 615-615
(termFormat Hindi PseudoGraph "aabhaasii aalekha") terms-hindi.txt 146-146
(termFormat ItalianLanguage PseudoGraph "PseudoGrafo") terms-it.txt 149-149
(termFormat JapaneseLanguage PseudoGraph "疑似グラフ") japanese_format.kif 2300-2300
(termFormat PortugueseLanguage PseudoGraph "Pseudo-grafo") portuguese_format.kif 567-567
(termFormat cz PseudoGraph "pseudo graph") terms-cz.txt 183-183
(termFormat ro PseudoGraph "pseudograf") relations-ro.kif 636-636
(termFormat tg PseudoGraph "huwad na talaguhitan") terms-tg.txt 150-150

antecedent
-------------------------


(=>
    (instance ?GRAPH PseudoGraph)
    (exists (?LOOP)
        (and
            (instance ?LOOP GraphLoop)
            (graphPart ?LOOP ?GRAPH))))
Merge.kif 5806-5811

consequent
-------------------------


(=>
    (and
        (instance ?LOOP GraphLoop)
        (graphPart ?LOOP ?GRAPH))
    (instance ?GRAPH PseudoGraph))
Merge.kif 5813-5817


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