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 子類 GraphPath and DirectedGraph

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6034-6034 範圍 最大加權路徑 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 範圍 最小加權路徑 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 範圍子類 切集 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 範圍子類 圖形路徑 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 6080-6080 範圍子類 最小割集 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 5752-5752 子類 GraphCircuit and GraphPath
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 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 5953-5953 域 結束節點, 1 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 5972-5972 域 路徑重量, 1 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 5912-5912 域 路徑長度, 1 and GraphPath

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