lessThan |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage lessThan "%1 %n 是 lessThan %2") | chinese_format.kif 141-141 | |
(format EnglishLanguage lessThan "%1 is %n less than %2") | english_format.kif 142-142 | |
(format FrenchLanguage lessThan "%1 est %n moins que %2") | french_format.kif 92-92 | |
(format ItalianLanguage lessThan "%1 è %n meno di%2") | relations-it.txt 163-163 | |
(format JapaneseLanguage lessThan "%1 は %2 より less では %n") | japanese_format.kif 1919-1919 | |
(format PortugueseLanguage lessThan "%1 e' %n menos que %2") | portuguese_format.kif 44-44 | |
(format cz lessThan "%1 %p{je} %n{nen�} men�� ne� %2") | relations-cz.txt 76-76 | |
(format de lessThan "%1 ist kleinerAls %2 %n{nicht}") | relations-de.txt 172-172 | |
(format hi lessThan "%1 %2 se kama %n hai") | relations-hindi.txt 202-202 | |
(format ro lessThan "%1 %n{nu} este less%t{mai mic} decât %2") | relations-ro.kif 111-111 | |
(format sv lessThan "%1 är %n{inte} mindre än %2") | relations-sv.txt 91-91 | |
(format tg lessThan "%1 %n ay meno ng %2") | relations-tg.txt 325-325 | |
(inverse greaterThan lessThan) | Merge.kif 1850-1850 | 逆 比較多 and 少於 |
(termFormat ChineseLanguage lessThan "少于") | chinese_format.kif 142-142 | 逆 比較多 and 少於 |
(termFormat ChineseTraditionalLanguage lessThan "少於") | domainEnglishFormat.kif 34178-34178 | 逆 比較多 and 少於 |
(termFormat EnglishLanguage lessThan "less than") | domainEnglishFormat.kif 34177-34177 | 逆 比較多 and 少於 |
(termFormat de lessThan "kleinerAls") | terms-de.txt 52-52 | 逆 比較多 and 少於 |
(termFormat tg lessThan "meno ng") | relations-tg.txt 326-326 | 逆 比較多 and 少於 |
antecedent |
consequent |
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 6100-6107 | GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger |