part |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1570-1572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 920-924 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 143-146 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 168-171 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 917-917 | 部分 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 918-918 | 部分 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 916-916 | 部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | 部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | 部分 是 空间关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | 容纳 和 部分 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 161-161 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 162-162 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 210-210 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1929-1929 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 52-52 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 64-64 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 197-197 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 402-402 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | 初始部分 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23725-23725 | 最初包含部分 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23751-23751 | partTypes 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23624-23624 | 典型的部分 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23661-23661 | 通常包含部分 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 965-965 | 组件 是 部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 34-34 | 病毒的遗传基质 是 部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13172-13172 | 半 是 部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24376-24376 | inString 是 部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9692-9692 | 内在部分 是 部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13215-13215 | 最 是 部分 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数 和 那个 实数 是 greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒 的 instance 和 那个 客体10 是 那个 客体 的 part |
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 7596-7611 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1754-1759 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1766-1771 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2676 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9715-9720 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 703-711 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 514-518 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1538-1544 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 794-803 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1799-1807 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18246-18254 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12466-12473 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数 和 那个 实数 是 greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒 的 instance 和 那个 客体10 是 那个 客体 的 part |
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. | Mid-level-ontology.kif 11682-11689 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 316-322 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4078-4095 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1207-1216 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11967-11977 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6357-6364 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9894-9901 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23737-23745 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
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. | VirusProteinAndCellPart.kif 1163-1163 | 病毒 和 有点 病毒部分 的 viral 部分 是 那个 病毒 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 711-711 | 美国佐治亚州亚特兰大 是 格鲁吉亚 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | 澳大利亚 是 大洋洲 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 714-714 | 巴尔的摩马里兰州 是 马里兰 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 724-724 | 马萨诸塞州波士顿 是 马萨诸塞 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1611-1611 | 芝加哥美国 是 伊利诺伊 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 854-854 | 克利夫兰俄亥俄州 是 俄亥俄州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 915-915 | 康涅狄格 是 新英格兰 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 851-851 | 达拉斯得克萨斯 是 德州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 841-841 | 底特律密执安 是 密歇根州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | 法戈北达科他州 是 北达科他州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | 德国 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | 希腊 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 828-828 | 休斯敦,德克萨斯州 是 德州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 832-832 | 哈德逊河 是 纽约州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 728-728 | 堪萨斯城密苏里州 是 密苏里州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 820-820 | 朝鲜半岛 是 亚洲 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 805-805 | 长岛 是 纽约州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 810-810 | 洛杉矶加利福尼亚州 是 加州 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 731-731 | 曼彻斯特新罕布什尔州 是 新罕布什尔 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 989-989 | 马萨诸塞 是 新英格兰 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | 孟菲斯田纳西州 是 田纳西 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 737-737 | 明尼阿波利斯明尼苏达州 是 明尼苏达 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | 密西西比河 是 美国 的 part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 746-746 | 蒙特利尔加拿大 是 加拿大 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |