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

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

Sigma KEE - GraphArc
 GraphArc(graph arc)  asymptote, center_line, centerline, chord, connection, connexion, diagonal, diameter, element, element_of_a_cone, element_of_a_cylinder, geodesic, geodesic_line, link, perimeter, perpendicular, radius, ray, secant, straight_line, vector

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2344-2345 No TPTP formula. May not be expressible in strict first order. Merge.kif 5536-5537 No TPTP formula. May not be expressible in strict first order. pictureList.kif 1789-1789 No TPTP formula. May not be expressible in strict first order. Merge.kif 5534-5534 Graph arc is a subclass of graph element

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 5544-5544 Graph loop is a subclass of graph arc No TPTP formula. May not be expressible in strict first order. chinese_format.kif 942-942 No TPTP formula. May not be expressible in strict first order. english_format.kif 1096-1096

 appearance as argument number 3 No TPTP formula. May not be expressible in strict first order. Merge.kif 5612-5612 The number 1 argument of initial node is an instance of graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5622-5622 The number 1 argument of terminal node is an instance of graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5654-5654 The number 1 argument of arc weight is an instance of graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5563-5563 The number 3 argument of links is an instance of graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5512-5512 Graph element is exhaustively partitioned into graph node and graph arc

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 5861-5871 If an unit of measure is the unit in a graph and a graph element is an instance of graph node and the graph element is a part of the graph and a graph arc is a part of the graph and the graph arc is an instance of graph arc and the abstract counterpart of a physical is the graph element and the abstract counterpart of an object is the graph arc and the value of the graph arc is a real number the unit of measure(s),then the measure of the object is the real number the unit of measure(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 5393-5401 If a graph is an instance of directed graph and a graph arc is an instance of graph arc and the graph arc is a part of the graph,then there exist a graph node and another graph node such that the starting node of the graph arc is equal to the graph node and the terminal node of the graph arc is equal to the other graph node No TPTP formula. May not be expressible in strict first order. Merge.kif 5444-5454 If a graph is an instance of graph path and a graph arc is an instance of graph arc and the graph arc is a part of the graph,then if the starting node of the graph arc is equal to a graph node,then there doesn't exist another graph arc such that the starting node of the other graph arc is equal to the graph node and the other graph arc is not equal to the graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5466 If a graph is an instance of graph path and a graph arc is an instance of graph arc and the graph arc is a part of the graph,then if the terminal node of the graph arc is equal to a graph node,then there doesn't exist another graph arc such that the terminal node of the other graph arc is equal to the graph node and the other graph arc is not equal to the graph arc No TPTP formula. May not be expressible in strict first order. Merge.kif 5539-5542 If a graph arc is an instance of graph arc,then there exist a graph node and another graph node such that the graph arc links the graph node and the other graph node

 consequent No TPTP formula. May not be expressible in strict first order. Transportation.kif 2824-2834 If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical,then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph 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