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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphPath

 Sigma KEE - GraphPath
GraphPath(chemin du graph)

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 Chemin du graph est une sous-classe de graph dirig�e

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6034-6034 Le domaine de MaximalWeightedPathFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 Le domaine de MinimalWeightedPathFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 Les valeurs retourn�es par CutSetFn sont des sous-classes de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 Les valeurs retourn�es par GraphPathFn sont des sous-classes de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6080-6080 Les valeurs retourn�es par MinimalCutSetFn sont des sous-classes de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5752-5752 Circuit du graph est une sous-classe de chemin du graph
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 Le nombre 1 argument de BeginNodeFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5953-5953 Le nombre 1 argument de EndNodeFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5972-5972 Le nombre 1 argument de PathWeightFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5912-5912 Le nombre 1 argument de pathLength est une instance de chemin du graph

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