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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Graph
Graph(graph)
Cartesian_coordinate_system, bus, bus_topology, coordinate_system, exponential_curve, frame_of_reference, graph, inertial_frame, inertial_reference_frame, logical_topology, loop, loop_topology, mesh, mesh_topology, physical_topology, profile, reference_frame, reference_system, star, star_topology, グラフ,

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2323-2325
No TPTP formula. May not be expressible in strict first order. Merge.kif 5211-5215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1125-1125 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Cubicpoly.svg/ 255px-Cubicpoly.svg.png" is a URL depicting graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5209-5209 Graph is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5255-5255 Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5350-5350 Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5368-5368 Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 933-933 "图" is the printable form of graph in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1078-1078 "graph" is the printable form of graph in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5636-5636 The number 1 argument of cut set is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5644-5644 The number 1 argument of minimal cut set is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5714-5714 The number 1 argument of graphMeasure is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5446-5446 The number 2 argument of graph part is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5455-5455 The number 1 argument of sub graph is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 The number 2 argument of sub graph is an instance of graph

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5217-5237
No TPTP formula. May not be expressible in strict first order. Merge.kif 5239-5253
No TPTP formula. May not be expressible in strict first order. Merge.kif 5652-5654

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5386-5391
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2808-2813


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