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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultiGraph

Sigma KEE - MultiGraph
MultiGraph(multi graph)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2336-2337
No TPTP formula. May not be expressible in strict first order. Merge.kif 5483-5485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1858-1858
No TPTP formula. May not be expressible in strict first order. Merge.kif 5481-5481 Multi graph is a subclass of graph

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 938-938
No TPTP formula. May not be expressible in strict first order. english_format.kif 1088-1088

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5487-5497 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 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