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 的节点。") 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 5915-5918
(documentation pathLength JapaneseLanguage "BinaryPredicate は、GraphPath の長さ (GraphNodes 数で) を指定する。 (pathLength ?PATH ?NUMBER)とは、GraphPath ?PATH に ?NUMBER ノードがあることを意味する。") japanese_format.kif 1030-1032
(domain pathLength 1 GraphPath) Merge.kif 5912-5912 路径长度 的 1 数量 是 图路径instance
(domain pathLength 2 PositiveInteger) Merge.kif 5913-5913 路径长度 的 2 数量 是 正整数instance
(instance pathLength BinaryPredicate) Merge.kif 5911-5911 路径长度二元谓语instance

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
(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 JapaneseLanguage pathLength "%1 の length は %2 では %n") japanese_format.kif 2162-2162
(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 ro pathLength "length%t{lungimea} lui %1 %n{nu} este %2") relations-ro.kif 476-476
(format sv pathLength "längden av %1 är %n{inte} %2") relations-sv.txt 519-519
(format tg pathLength "ang haba ng %1 %n ay %2") relations-tg.txt 409-409
(termFormat ChineseLanguage pathLength "路径长度") chinese_format.kif 754-754
(termFormat ChineseTraditionalLanguage pathLength "路徑長度") domainEnglishFormat.kif 44783-44783
(termFormat EnglishLanguage pathLength "path length") domainEnglishFormat.kif 44782-44782

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


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

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 6099-6106 不存在 图路径另一个 图路径 这样 那个 图路径 是 把 分成另外两个图的路径 Setinstance那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Setinstance那个 图路径length 正整数那个 另外 图路径length另一个 正整数那个 正整数lessThan 那个 另外 正整数


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 3.0 is open source software produced by Articulate Software and its partners