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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphPathFn
GraphPathFn

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


(documentation GraphPathFn ChineseLanguage "这是一个 BinaryFunction，它把两个GraphNode 联系到这两个节点之间的 GraphPath Class。注：这两个 GraphNode 必须属于同一个 Graph。") chinese_format.kif 2376-2377
(documentation GraphPathFn EnglishLanguage "A BinaryFunction that maps two GraphNodes to the Class of GraphPaths between those two nodes. Note that the two GraphNodes must belong to the same Graph.") Merge.kif 6044-6046
(documentation GraphPathFn JapaneseLanguage "BinaryFunctionは、2つの GraphNode をこれ らの2つのノード間の GraphPath の Class にマップする。 注：2つの GraphNode は同じ Graph に属している必要がある。") japanese_format.kif 1053-1055
(domain GraphPathFn 1 GraphNode) Merge.kif 6040-6040 GraphPathFn の数値 1 引数は グラフノード の instance では %n
(domain GraphPathFn 2 GraphNode) Merge.kif 6041-6041 GraphPathFn の数値 2 引数は グラフノード の instance では %n
(instance GraphPathFn BinaryFunction) Merge.kif 6038-6038 GraphPathFn は 2変数関数 の instance では %n
(instance GraphPathFn TotalValuedRelation) Merge.kif 6039-6039 GraphPathFn は 合計値関係 の instance では %n
(rangeSubclass GraphPathFn GraphPath) Merge.kif 6042-6042 GraphPathFn が返す値は グラフパス の subclasses では %n

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


(format ChineseLanguage GraphPathFn "%1 和 %2 的路径集 Set") chinese_format.kif 775-775
(format EnglishLanguage GraphPathFn "the set of paths between %1 and %2") english_format.kif 775-775
(format FrenchLanguage GraphPathFn "l' ensemble de chemin entre %1 et %2") french_format.kif 467-467
(format ItalianLanguage GraphPathFn "l' insieme di cammini tra %1 e %2") relations-it.txt 120-120
(format JapaneseLanguage GraphPathFn "%1 と %2 間のパスの set") japanese_format.kif 2171-2171
(format PortugueseLanguage GraphPathFn "o conjunto de caminhos entre %1 e %2") portuguese_format.kif 419-419
(format de GraphPathFn "die menge von Pfaden zwischen %1 und %2") relations-de.txt 1003-1003
(format hi GraphPathFn "%1 aura %2 ke biicha ke pathasamuuha") relations-hindi.txt 160-160
(format ro GraphPathFn "set%t{mulþimea} drumurilor între %1 ºi %2") relations-ro.kif 489-489
(format sv GraphPathFn "mängden av vägar mellan %1 och %2") relations-sv.txt 542-542
(format tg GraphPathFn "ang pangkat sa landas sa gitnang %1 at %2") relations-tg.txt 247-247
(termFormat ChineseLanguage GraphPathFn "图形路径") domainEnglishFormat.kif 26475-26475
(termFormat ChineseLanguage GraphPathFn "图路函数") chinese_format.kif 776-776
(termFormat ChineseTraditionalLanguage GraphPathFn "圖形路徑") domainEnglishFormat.kif 26474-26474
(termFormat EnglishLanguage GraphPathFn "graph path") domainEnglishFormat.kif 26473-26473

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


(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6030-6036
(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6008-6014

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


(=>
    (and
        (graphPart ?PATH ?GRAPH)
        (not
            (instance ?GRAPH DirectedGraph)))
    (<=>
        (instance ?PATH
            (GraphPathFn ?NODE1 ?NODE2))
        (instance ?PATH
            (GraphPathFn ?NODE2 ?NODE1))))		 Merge.kif 6048-6054
(=>
    (equal
        (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))		 Merge.kif 6026-6028
(=>
    (equal
        (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
    (instance ?PATH
        (GraphPathFn ?NODE1 ?NODE2)))		 Merge.kif 6004-6006


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 3.0 is open source software produced by Articulate Software and its partners