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, 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 5342-5346
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1125-1125
No TPTP formula. May not be expressible in strict first order. Merge.kif 5340-5340 Graph is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5386-5386 Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5481-5481 Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5499-5499 Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 933-933
No TPTP formula. May not be expressible in strict first order. english_format.kif 1078-1078

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5767-5767 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 5775-5775 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 5845-5845 The number 1 argument of graphMeasure is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5577-5577 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 5586-5586 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 5587-5587 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 5348-5368
No TPTP formula. May not be expressible in strict first order. Merge.kif 5370-5384
No TPTP formula. May not be expressible in strict first order. Merge.kif 5783-5785

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5517-5522
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2817-2822


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