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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphPath

Sigma KEE - GraphPath
GraphPath(graph path)axis, coordinate_axis, dimension, 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 5720-5724
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1004-1007
No TPTP formula. May not be expressible in strict first order. Merge.kif 5718-5718 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 6034-6034 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 6012-6012 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 6072-6072 The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 6080-6080 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 5752-5752 Graph circuit is a subclass of graph path
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 936-936
No TPTP formula. May not be expressible in strict first order. english_format.kif 1079-1079
No TPTP formula. May not be expressible in strict first order. french_format.kif 612-612
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 143-143
No TPTP formula. May not be expressible in strict first order. terms-it.txt 146-146
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2297-2297
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 564-564
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 148-148
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 180-180
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 633-633
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 147-147

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5942-5942 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 5953-5953 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 5972-5972 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 5912-5912 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 5726-5737
No TPTP formula. May not be expressible in strict first order. Merge.kif 5739-5750

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5630-5650
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2799-2804


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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