lessThanOrEqualTo |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1733-1734 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1863-1865 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 341-342 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1860-1860 | 少于或等于 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1861-1861 | 少于或等于 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1856-1856 | 少于或等于 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1857-1857 | 少于或等于 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1858-1858 | 少于或等于 是 延伸数量关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1859-1859 | 少于或等于 是 实数 的 trichotomizingOn |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 143-143 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 144-144 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 93-93 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 164-164 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1920-1920 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 45-45 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 78-78 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 203-203 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 112-112 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 92-92 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 327-327 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1879-1879 | 大于或等于 是 少于或等于 的 inverse |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34151-34151 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 144-144 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34150-34150 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34149-34149 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 53-53 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 328-328 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1867-1871 | 实数 是 lessThanOrEqualTo 另一个 实数 若且唯若 那个 实数 equal 那个 另外 实数 或 那个 实数 是 lessThan 那个 另外 实数 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 619-625 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 874-880 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 392-397 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 311-318 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2660-2665 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2637-2643 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 |
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 272-293 | 实数 是 串列 的 average 若且唯若 有存在 另一个 串列 和 正整数 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 另一个 正整数
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6044-6050 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 427-431 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 467-474 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1426-1438 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1407-1419 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 917-925 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 906-915 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2873-2884 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 571-578 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 495-502 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 533-540 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4645-4658 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4669-4682 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 59-65 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1075-1084 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1062-1073 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8985-8989 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2851-2869 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | TwelveApostles instance 的数量 是 lessThanOrEqualTo 12 |