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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphPath

 Sigma KEE - GraphPath
GraphPath(图路径)

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 图路径 是 有向图 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6034-6034 最高加权路径函数 的 range 是 图路径 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 最低加权路径函数 的 range 是 图路径 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 分图路径函数 的所得值 是 图路径 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 图路函数 的所得值 是 图路径 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6080-6080 分最短图路径函数 的所得值 是 图路径 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5752-5752 图回路 是 图路径 的 subclass
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 节点开端函数 的 1 数量 是 图路径 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5953-5953 节点末端 的 1 数量 是 图路径 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5972-5972 路径衡量函数 的 1 数量 是 图路径 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5912-5912 路径长度 的 1 数量 是 图路径 的 instance

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