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 5570-5573
(domain pathLength 1 GraphPath) Merge.kif 5567-5567 domain pathLength, 1 and GraphPath
(domain pathLength 2 PositiveInteger) Merge.kif 5568-5568 domain pathLength, 2 and PositiveInteger
(instance pathLength AsymmetricRelation) Merge.kif 5565-5565 instance pathLength and AsymmetricRelation
(instance pathLength BinaryPredicate) Merge.kif 5564-5564 instance pathLength and BinaryPredicate
(instance pathLength IrreflexiveRelation) Merge.kif 5566-5566 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 ChineseTraditionalLanguage pathLength "路徑長度") domainEnglishFormat.kif 44676-44676
(termFormat EnglishLanguage pathLength "path length") domainEnglishFormat.kif 44675-44675

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


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

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 5760-5767 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