Graph - Sigma Knowledge base Browser

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 5634-5638
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 5632-5632	Graph is a subclass of proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5678-5678	Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5781-5781	Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5811-5811	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 933-933	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1073-1073	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	french_format.kif 609-609	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 140-140	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 143-143	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2294-2294	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 561-561	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 145-145	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 177-177	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 436-436	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 630-630	Pseudo graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 144-144	Pseudo graph is a subclass of graph

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6081-6081	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 6089-6089	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 6159-6159	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 5899-5899	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 5908-5908	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 5909-5909	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 5640-5660	If a graph is an instance of graph and a graph node is an instance of graph node and another graph node is an instance of graph node and the graph node is a part of the graph and the other graph node is a part of the graph and the graph node is not equal to the other graph node, then there exist a graph arc and a graph path such that the graph arc links the graph node and the other graph node or the graph path is a subgraph of the graph and the graph path is an instance of graph path and the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the other graph node or the beginning of the graph path is equal to the other graph node and the end of the graph path is equal to the graph node
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5662-5676	If a graph is an instance of graph, then there exist a graph node, another graph node,, , a third graph node,, , a graph arc and another graph arc such that the graph node is a part of the graph and the other graph node is a part of the graph and the third graph node is a part of the graph and the graph arc is a part of the graph and the other graph arc 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 other graph node and the third graph node and the graph node is not equal to the other graph node and the other graph node is not equal to the third graph node and the graph node is not equal to the third graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6097-6099	If a graph is an instance of graph, then the set of minimal paths that partition the graph into two separate graphs is a subclass of the set of paths that partition the graph into two separate graphs

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5835-5840	If a graph element is an instance of graph element, then there exists a graph such that the graph is an instance of graph and the graph element is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3437-3442	If a physical is an instance of transit system, then there exists an abstract such that the abstract is an instance of graph and the abstract counterpart of the physical is the abstract

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