  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 - graphPart
 graphPart

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2349-2350 No TPTP formula. May not be expressible in strict first order. Merge.kif 5448-5450 No TPTP formula. May not be expressible in strict first order. Merge.kif 5445-5445 The number 1 argument of graph part is an instance of graph element 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 5442-5442 graph part is an instance of asymmetric relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5441-5441 graph part is an instance of binary predicate No TPTP formula. May not be expressible in strict first order. Merge.kif 5444-5444 graph part is an instance of irreflexive relation No TPTP formula. May not be expressible in strict first order. Merge.kif 5443-5443 graph part is an instance of total valued relation

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 749-749 No TPTP formula. May not be expressible in strict first order. english_format.kif 754-754 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 750-750 "图形部分" is the printable form of graph part in ChineseLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26388-26388 "圖形部分" is the printable form of graph part in ChineseTraditionalLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26387-26387 "graph part" is the printable form of graph part in english language

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 5552-5565 If the value of a graph path is equal to a quantity and a graph arc is a part of the graph path and another graph arc is a part of the graph path and the value of the graph arc is another quantity and the value of the other graph arc is a third quantity and for all a graph element if the graph element is a part of the graph path,then the graph element is equal to the graph arc or the graph element is equal to the other graph arc,then the value of the graph path is equal to (the other quantity and the third quantity) No TPTP formula. May not be expressible in strict first order. Merge.kif 5538-5550 If the value of a graph path is equal to a quantity and another graph path is a subgraph of the graph path and a graph arc is a part of the graph path and the value of the graph arc is another quantity and for all a graph element if the graph element is a part of the graph path,then the graph element is a part of the other graph path or the graph element is equal to the graph arc,then the quantity is equal to (the value of the other graph path and the other quantity) No TPTP formula. May not be expressible in strict first order. Merge.kif 5730-5740 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 5627-5633 If a graph element is a part of a graph and the graph is not an instance of directed graph,then the graph element is an instance of the set of paths between a graph node and another graph node if and only if the graph element is an instance of the set of paths between the other graph node and the graph node No TPTP formula. May not be expressible in strict first order. Merge.kif 5262-5270 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 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 5313-5323 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 5325-5335 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 5462-5466 If a graph is a subgraph of another graph and a graph element is a part of the graph,then the graph element is a part of the other graph

 consequent No TPTP formula. May not be expressible in strict first order. Merge.kif 5356-5366 A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node 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 graph node and the other 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 5373-5378 A graph is an instance of pseudo graph if and only if there exists a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph No TPTP formula. May not be expressible in strict first order. Transportation.kif 2815-2825 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 No TPTP formula. May not be expressible in strict first order. Transportation.kif 2827-2837 If a physical system is an instance of transit system and a physical is an instance of transitway junction 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 graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph No TPTP formula. May not be expressible in strict first order. Merge.kif 5462-5466 If a graph is a subgraph of another graph and a graph element is a part of the graph,then the graph element is a part of the other graph No TPTP formula. May not be expressible in strict first order. Merge.kif 5722-5728 If an unit of measure is the unit in a graph,then for all a graph element the graph element is a part of the graph and there exists a physical such that the abstract counterpart of the physical is the graph element 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 5293-5303 If a graph is an instance of tree,then there don't exist a graph arc, another graph arc and a graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the terminal node of the graph arc is equal to the graph node and the terminal node of the other graph arc is equal to the 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 5285-5291 If a graph is an instance of tree,then there doesn't exist a graph element such that the graph element is an instance of graph circuit and the graph element is a part of the graph No TPTP formula. May not be expressible in strict first order. Merge.kif 5277-5283 If a graph is an instance of tree,then there doesn't exist a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph 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 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