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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultiGraph
MultiGraph(multi graph)
multi_graph, 多重图

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


(documentation MultiGraph ChineseLanguage "这是多样图的 Class,一个多样图拥有起码一对联系超过 一个 GraphArc GraphNodeGraph。") Merge.kif 5895-5896
(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 5892-5894
(externalImage MultiGraph "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Multigraph.svg") pictureList.kif 1858-1858 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Multigraph.svg" is a URL depicting multi graph
(subclass MultiGraph Graph) Merge.kif 5891-5891 Multi graph is a subclass of graph

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


(termFormat ChineseLanguage MultiGraph "多重图") chinese_format.kif 938-938 "多重图" is the printable form of multi graph in ChineseLanguage
(termFormat EnglishLanguage MultiGraph "multi graph") english_format.kif 625-625 "multi graph" is the printable form of multi graph in english language

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 5898-5908 A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners