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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - pathLength

appearance as argument number 1

(documentation pathLength ChineseLanguage "这是一个 BinaryPredicate,它指定一个 GraphPath 的长度 (以GraphNode 以的数量),(pathLength ?PATH ?NUMBER)的意思是在 GraphPath ?PATH 上有 ?NUMBER 的节点。") Merge.kif 6026-6028
(documentation pathLength EnglishLanguage "A BinaryPredicate that specifies the length (in number of GraphNodes) of a GraphPath. (pathLength ?PATH ?NUMBER) means that there are ?NUMBER nodes in the GraphPath ?PATH.") Merge.kif 6022-6025
(domain pathLength 1 GraphPath) Merge.kif 6020-6020 domain pathLength, 1 and グラフパス
(domain pathLength 2 PositiveInteger) Merge.kif 6021-6021 domain pathLength, 2 and 正の整数
(instance pathLength AsymmetricRelation) Merge.kif 6018-6018 instance pathLength and 非対称関係
(instance pathLength BinaryPredicate) Merge.kif 6017-6017 instance pathLength and 2進述語
(instance pathLength IrreflexiveRelation) Merge.kif 6019-6019 instance pathLength and 非反射関係

appearance as argument number 2

(format ChineseLanguage pathLength "%1 的 length %n 是 %2") chinese_format.kif 753-753
(format EnglishLanguage pathLength "the length of %1 is %n %2") english_format.kif 465-465
(termFormat ChineseLanguage pathLength "路径长度") chinese_format.kif 754-754 termFormat ChineseLanguage, pathLength and "路径长度"
(termFormat EnglishLanguage pathLength "path length") domainEnglishFormat.kif 7884-7884 termFormat EnglishLanguage, pathLength and "path length"


        (MinimalCutSetFn ?GRAPH) ?PATHCLASS)
    (exists (?NUMBER)
        (forall (?PATH)
                (instance ?PATH ?PATHCLASS)
                (pathLength ?PATH ?NUMBER)))))
Merge.kif 6222-6228


    (exists (?PATH1 ?PATH2)
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))
Merge.kif 6230-6237 グラフパス グラフパス instance グラフパス and CutSetFn グラフ instance グラフパス and MinimalCutSetFn グラフ pathLength グラフパス and 正の整数 pathLength グラフパス and 正の整数 lessThan 正の整数 and 正の整数

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners