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 的节点。") 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 5441-5444
(domain pathLength 1 GraphPath) Merge.kif 5438-5438 domain pathLength, 1 and GraphPath
(domain pathLength 2 PositiveInteger) Merge.kif 5439-5439 domain pathLength, 2 and PositiveInteger
(instance pathLength AsymmetricRelation) Merge.kif 5436-5436 instance pathLength and AsymmetricRelation
(instance pathLength BinaryPredicate) Merge.kif 5435-5435 instance pathLength and BinaryPredicate
(instance pathLength IrreflexiveRelation) Merge.kif 5437-5437 instance pathLength and IrreflexiveRelation

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 758-758
(termFormat ChineseLanguage pathLength "路径长度") chinese_format.kif 754-754 termFormat ChineseLanguage, pathLength and "路径长度"
(termFormat ChineseTraditionalLanguage pathLength "路徑長度") domainEnglishFormat.kif 44706-44706 termFormat ChineseTraditionalLanguage, pathLength and "路徑長度"
(termFormat EnglishLanguage pathLength "path length") domainEnglishFormat.kif 44705-44705 termFormat EnglishLanguage, pathLength and "path length"

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


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

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 5631-5638 GraphPath GraphPath instance GraphPath and CutSetFn Graph instance GraphPath and MinimalCutSetFn Graph pathLength GraphPath and PositiveInteger pathLength GraphPath and PositiveInteger lessThan PositiveInteger and PositiveInteger


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