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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultiGraph
MultiGraph(multi graph)

appearance as argument number 1
-------------------------


(documentation MultiGraph ChineseLanguage "这是多样图的 Class，一个多样图拥有起码一对联系超过 一个 GraphArc GraphNode 的 Graph。") chinese_format.kif 2336-2337
(documentation MultiGraph EnglishLanguage "The Class of multigraphs. A multigraph is a Graph containing at least one pair of GraphNodes that are connected by more than one GraphArc.") Merge.kif 5764-5766
(documentation MultiGraph JapaneseLanguage "マルチグラフの Class 。マルチグラフは、複数の GraphArc によって接続されている GraphNode の少なくとも1つのペアを含む Graph である。") japanese_format.kif 1010-1011
(externalImage MultiGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") pictureList.kif 1856-1856
(subclass MultiGraph Graph) Merge.kif 5762-5762 Multi graph is a subclass of graph

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


(termFormat ChineseLanguage MultiGraph "多重图") chinese_format.kif 938-938
(termFormat EnglishLanguage MultiGraph "multi graph") english_format.kif 1083-1083
(termFormat FrenchLanguage MultiGraph "multi graph") french_format.kif 614-614
(termFormat Hindi MultiGraph "bahu aalekha") terms-hindi.txt 145-145
(termFormat ItalianLanguage MultiGraph "MultiGrafo") terms-it.txt 148-148
(termFormat JapaneseLanguage MultiGraph "マルチグラフ") japanese_format.kif 2299-2299
(termFormat PortugueseLanguage MultiGraph "Multi-grafo") portuguese_format.kif 566-566
(termFormat cb MultiGraph "kadaghanang agi") terms-cb.txt 150-150
(termFormat cz MultiGraph "multi graph") terms-cz.txt 182-182
(termFormat de MultiGraph "Multigraph") terms-de.txt 441-441
(termFormat ro MultiGraph "multigraf") relations-ro.kif 635-635
(termFormat tg MultiGraph "napakaraming talaguhitan") terms-tg.txt 149-149

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


(=>
    (instance ?GRAPH MultiGraph)
    (exists (?ARC1 ?ARC2 ?NODE1 ?NODE2)
        (and
            (graphPart ?ARC1 ?GRAPH)
            (graphPart ?ARC2 ?GRAPH)
            (graphPart ?NODE1 ?GRAPH)
            (graphPart ?NODE2 ?GRAPH)
            (links ?NODE1 ?NODE2 ?ARC1)
            (links ?NODE1 ?NODE2 ?ARC2)
            (not
                (equal ?ARC1 ?ARC2)))))		 Merge.kif 5768-5779

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


(=>
    (and
        (graphPart ?ARC1 ?GRAPH)
        (graphPart ?ARC2 ?GRAPH)
        (graphPart ?NODE1 ?GRAPH)
        (graphPart ?NODE2 ?GRAPH)
        (links ?NODE1 ?NODE2 ?ARC1)
        (links ?NODE1 ?NODE2 ?ARC2)
        (not
            (equal ?ARC1 ?ARC2)))
    (instance ?GRAPH MultiGraph))		 Merge.kif 5781-5790


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



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