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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pathLength

Sigma KEE - pathLength
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 2 PositiveInteger) Merge.kif 6021-6021
(instance pathLength AsymmetricRelation) Merge.kif 6018-6018
(instance pathLength BinaryPredicate) Merge.kif 6017-6017
(instance pathLength IrreflexiveRelation) Merge.kif 6019-6019

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 EnglishLanguage pathLength "path length") domainEnglishFormat.kif 7884-7884

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


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

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 6230-6237


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