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 5524-5528
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 5522-5522 Graph is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5568-5568 Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5669-5669 Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5699-5699 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 1073-1073

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5975-5975 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 5983-5983 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 6053-6053 The number 1 argument of graphMeasure is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5787-5787 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 5796-5796 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 5797-5797 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 5530-5550
No TPTP formula. May not be expressible in strict first order. Merge.kif 5552-5566
No TPTP formula. May not be expressible in strict first order. Merge.kif 5991-5993

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5723-5728
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2846-2851


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