greaterThanOrEqualTo |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1735-1736 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1881-1883 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 343-344 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1877-1877 | 大于或等于 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1878-1878 | 大于或等于 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1873-1873 | 大于或等于 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1874-1874 | 大于或等于 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1875-1875 | 大于或等于 是 延伸数量关系 的 instance |
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. | Merge.kif 1876-1876 | 大于或等于 是 实数 的 trichotomizingOn |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 113-113 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 113-113 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 78-78 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 122-122 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1905-1905 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 30-30 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 79-79 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 162-162 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 97-97 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 250-250 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 114-114 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26537-26537 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26536-26536 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 38-38 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 251-251 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1885-1889 | 实数 是 greaterThanOrEqualTo 另一个 实数 若且唯若 那个 实数 equal 那个 另外 实数 或 那个 实数 是 greaterThan 那个 另外 实数 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2080-2090 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1316-1323 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 219-225 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2165-2176 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2178-2196 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2125-2136 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2138-2152 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1176-1189 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1120-1130 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1926-1930 | 实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 359-365 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18743-18753 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18759-18769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18775-18785 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6022-6028 | |
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. | Mid-level-ontology.kif 8045-8052 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 686-699 |
|
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. | Merge.kif 13831-13839 | |
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. | Geography.kif 7142-7162 |
|
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. | Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1003-1012 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1965-1965 | TwelveApostles instance 的数量 是 greaterThanOrEqualTo 11 |