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 6013-6015
(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 6009-6012
(domain pathLength 1 GraphPath) Merge.kif 6007-6007
(domain pathLength 2 PositiveInteger) Merge.kif 6008-6008
(instance pathLength AsymmetricRelation) Merge.kif 6005-6005
(instance pathLength BinaryPredicate) Merge.kif 6004-6004
(instance pathLength IrreflexiveRelation) Merge.kif 6006-6006

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
(format FrenchLanguage pathLength "la longueur de %1 est %n %2") french_format.kif 454-454
(format ItalianLanguage pathLength "la lunghezza di %1 � %n %2") relations-it.txt 217-217
(format PortugueseLanguage pathLength "o comprimento de %1 e' %n %2") portuguese_format.kif 406-406
(format cz pathLength "d�lka %1 %p{je} %n{nen�} %2") relations-cz.txt 467-467
(format de pathLength "die laenge von %1 ist %2 %n{nicht}") relations-de.txt 972-972
(format hi pathLength "%1 kii lambaaii %2 %n hai") relations-hindi.txt 255-255
(format tg pathLength "ang haba ng %1 %n ay %2") relations-tg.txt 409-409
(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 6209-6215

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 6217-6224


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