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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - pathLength
pathLength

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


(documentation pathLength ChineseLanguage "这是一个 BinaryPredicate,它指定一个 GraphPath 的长度 (以GraphNode 以的数量),(pathLength ?PATH ?NUMBER)的意思是在 GraphPath ?PATH 上有 ?NUMBER 的节点。") Merge.kif 8482-8484
(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 8477-8480
(documentation pathLength JapaneseLanguage "BinaryPredicate は、GraphPath の長さ (GraphNodes 数で) を指定する。 (pathLength ?PATH ?NUMBER)とは、GraphPath ?PATH に ?NUMBER ノードがあることを意味する。") Merge.kif 8486-8488
(domain pathLength 1 GraphPath) Merge.kif 8474-8474
(domain pathLength 2 PositiveInteger) Merge.kif 8475-8475
(instance pathLength AsymmetricRelation) Merge.kif 8472-8472
(instance pathLength BinaryPredicate) Merge.kif 8471-8471
(instance pathLength IrreflexiveRelation) Merge.kif 8473-8473

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 1045-1045
(format JapaneseLanguage pathLength "%1 の length は %2 では %n") english_format.kif 1046-1046
(termFormat ChineseLanguage pathLength "路径长度") chinese_format.kif 754-754
(termFormat ChineseTraditionalLanguage pathLength "路徑長度") domainEnglishFormat.kif 44706-44706
(termFormat EnglishLanguage pathLength "path length") domainEnglishFormat.kif 44705-44705

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


(=>
    (equal
        (MinimalCutSetFn ?GRAPH) ?PATHCLASS)
    (exists (?NUMBER)
        (forall (?PATH)
            (=>
                (instance ?PATH ?PATHCLASS)
                (pathLength ?PATH ?NUMBER)))))
Merge.kif 8743-8749

statement
-------------------------


(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))
Merge.kif 8751-8758


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