CardinalityFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2309-2309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5511-5513 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 980-981 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | 势函数 的 1 数量 是 结合 集或类 和 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | 势函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | 势函数 的 range 是 整数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 506-506 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 41-41 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2073-2073 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 75-75 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 659-659 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 324-324 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 98-98 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 507-507 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13212-13212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13211-13211 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13210-13210 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 99-99 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1007-1011 | 实体 是 个人账户 的 instance 和 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体 是 联名账户 的 instance |
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. | UXExperimentalTerms.kif 3239-3259 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3282-3302 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 446-450 |
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 82-97 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 118-133 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 238-264 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 310-342 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列, 另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 另一个 整数) equal 1 和 实体 是 那个 另外 整数 year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 另外 实数 和 1000 equal 第三 实数 和 第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数 和 那个 第四 整数) equal 第四 实数 和 那个 第四 实数 和 那个 第三 实数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 829-836 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2137-2150 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 812-817 | |
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. | UXExperimentalTerms.kif 2887-2903 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12142 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3056-3073 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9463-9467 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 897-901 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3333-3356 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2210-2223 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2174-2187 | |
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. | People.kif 456-469 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
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. | Merge.kif 14182-14182 | 大陆 instance 的数量 equal 7 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2003-2003 | NativityMagi instance 的数量 equal 3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn 生物 and 地理区域 equal 那个 生物I 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1965-1965 | TwelveApostles instance 的数量 是 greaterThanOrEqualTo 11 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | TwelveApostles instance 的数量 是 lessThanOrEqualTo 12 |