Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphPath
GraphPath(graph path)axis, coordinate_axis, dimension, graph_path, major_axis, major_lobe, minor_axis, optic_axis, principal_axis, semimajor_axis, semiminor_axis, x-axis, y-axis, z-axis, グラフパス, 图路径

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2330-2333
No TPTP formula. May not be expressible in strict first order. Merge.kif 5307-5311
No TPTP formula. May not be expressible in strict first order. Merge.kif 5305-5305 Graph path is a subclass of directed graph

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5596-5596 The range of maximal weighted path is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5571-5571 The range of minimal weighted path is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5637-5637 The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5621-5621 The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5645-5645 The values returned by minimal cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5337-5337 Graph circuit is a subclass of graph path
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 936-936 "图路径" is the printable form of graph path in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1084-1084 "graph path" is the printable form of graph path in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5501-5501 The number 1 argument of begin node is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5512-5512 The number 1 argument of end node is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5531-5531 The number 1 argument of path weight is an instance of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 5471-5471 The number 1 argument of path length is an instance of graph path

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5313-5323
No TPTP formula. May not be expressible in strict first order. Merge.kif 5325-5335

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5217-5237
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2768-2773


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