  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageChineseTraditionalLanguageCroatianLanguageDanishLanguageDefraudingEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGermanLanguageGreekLanguageHaboobHebrewLanguageIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 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 5239-5253 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 5652-5654 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 5386-5391 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 2808-2813 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners