lessThan |
appearance as argument number 1 |
![]() |
(documentation lessThan ChineseLanguage "(lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。") | chinese_format.kif 1729-1730 | |
(documentation lessThan EnglishLanguage "(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.") | Merge.kif 1834-1835 | |
(documentation lessThan JapaneseLanguage "(lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。") | japanese_format.kif 337-338 | |
(domain lessThan 1 RealNumber) | Merge.kif 1831-1831 | lessThan の数値 1 引数は 実数 の instance では %n |
(domain lessThan 2 RealNumber) | Merge.kif 1832-1832 | lessThan の数値 2 引数は 実数 の instance では %n |
(instance lessThan BinaryPredicate) | Merge.kif 1826-1826 | lessThan は 2進述語 の instance では %n |
(instance lessThan IrreflexiveRelation) | Merge.kif 1828-1828 | lessThan は 非反射関係 の instance では %n |
(instance lessThan RelationExtendedToQuantities) | Merge.kif 1829-1829 | lessThan は 数量に拡張された関係 の instance では %n |
(instance lessThan TransitiveRelation) | Merge.kif 1827-1827 | lessThan は 推移関係 の instance では %n |
(trichotomizingOn lessThan RealNumber) | Merge.kif 1830-1830 | lessThan は 実数 で trichotomizing されて %n |
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 1845-1845 | greaterThan は lessThan の inverse では %n |
(termFormat ChineseLanguage lessThan "少于") | chinese_format.kif 142-142 | greaterThan は lessThan の inverse では %n |
(termFormat ChineseTraditionalLanguage lessThan "少於") | domainEnglishFormat.kif 34155-34155 | greaterThan は lessThan の inverse では %n |
(termFormat EnglishLanguage lessThan "less than") | domainEnglishFormat.kif 34154-34154 | greaterThan は lessThan の inverse では %n |
(termFormat de lessThan "kleinerAls") | terms-de.txt 52-52 | greaterThan は lessThan の inverse では %n |
(termFormat tg lessThan "meno ng") | relations-tg.txt 326-326 | greaterThan は lessThan の inverse では %n |
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 6109-6116 | グラフパス グラフパス グラフパス は グラフ を2つの別々のグラフに分割するパスの set の instance では %n グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では %n グラフパス の length は 正の整数 では %n グラフパス の length は 正の整数 では %n 正の整数 は 正の整数 より less では %n |
![]() |
![]() |