TreeView Knowledge Base Browser

appearance as argument number 1

(documentation pathLength ChineseLanguage "这是一个 BinaryPredicate，它指定一个 GraphPath 的长度 (以GraphNode 以的数量)，(pathLength ?PATH ?NUMBER)的意思是在 GraphPath ?PATH 上有 ?NUMBER 的节点。")	chinese_format.kif 2353-2355
(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 5813-5816
(domain pathLength 1 GraphPath)	Merge.kif 5810-5810
(domain pathLength 2 PositiveInteger)	Merge.kif 5811-5811
(instance pathLength BinaryPredicate)	Merge.kif 5809-5809

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 755-755
(termFormat ChineseLanguage pathLength "路径长度")	chinese_format.kif 754-754
(termFormat ChineseTraditionalLanguage pathLength "路徑長度")	domainEnglishFormat.kif 44760-44760
(termFormat EnglishLanguage pathLength "path length")	domainEnglishFormat.kif 44759-44759

consequent

(=>
    (equal
        (MinimalCutSetFn ?GRAPH) ?PATHCLASS)
    (exists (?NUMBER)
        (forall (?PATH)
            (=>
                (instance ?PATH ?PATHCLASS)
                (pathLength ?PATH ?NUMBER)))))

Merge.kif 5995-6001

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 6003-6010

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: