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 5624-5628
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 996-999
No TPTP formula. May not be expressible in strict first order. Merge.kif 5622-5622 Graph is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5668-5668 Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5771-5771 Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5801-5801 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 609-609
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 140-140
No TPTP formula. May not be expressible in strict first order. terms-it.txt 143-143
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2294-2294
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 561-561
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 145-145
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 177-177
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 630-630
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 144-144

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6071-6071 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 6079-6079 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 6149-6149 The number 1 argument of graph measure is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5889-5889 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 5898-5898 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 5899-5899 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 5630-5650
No TPTP formula. May not be expressible in strict first order. Merge.kif 5652-5666
No TPTP formula. May not be expressible in strict first order. Merge.kif 6087-6089

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5825-5830
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2839-2844


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