initialPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23699-23705 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23707-23707 | 初始部分 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23708 | 初始部分 的 2 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23696-23696 | 初始部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23697-23697 | 初始部分 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | 初始部分 和 部分 是 内部相关 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3706-3706 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3705-3705 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3704-3704 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30127-30127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30126-30126 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30125-30125 |
antecedent |
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. | VirusProteinAndCellPart.kif 600-608 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2822-2824 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1809-1814 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4693-4699 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4166-4172 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5041-5046 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5051-5056 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4715-4721 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5296-5301 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5306-5311 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5316-5321 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5421-5426 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5431-5436 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5441-5446 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5338-5343 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5348-5353 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5461-5466 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5358-5363 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5368-5373 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5378-5383 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5409-5416 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5451-5456 |
|
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. | Mid-level-ontology.kif 23721-23721 | %每个 动物解剖结构 是 动物 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11529-11529 | %每个 动物壳 是 动物 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 688-688 | %每个 ArmBone 是 臂 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4583-4583 | %每个 AvocadoOil 是 鳄梨 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4130-4130 | %每个 大麦籽粒 是 BarleyGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10783-10783 | %每个 Bicep 是 臂 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 21-21 | %每个 骨骼 是 灵长类动物 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10801-10801 | %每个 CalfMuscle 是 腿 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2439-2439 | %每个 Chocolate 是 可可豆 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2492-2492 | %每个 可可脂 是 CocoaLiquor 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2484-2484 | %每个 可可粉 是 CocoaLiquor 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4580-4580 | %每个 CoconutOil 是 椰子 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | %每个 咖啡 是 咖啡豆 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1507-1507 | %每个 CommonWheatFlour 是 CommonWheatGrain 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1547-1547 | %每个 CornFlour 是 玉米粒 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12135-12135 | %每个 Cornea 是 眼睛 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12505-12505 | %每个 数字附属物 是 肢 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1517-1517 | %每个 DurumWheatFlour 是 DurumWheatGrain 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2547-2547 | %每个 EggYolk 是 蛋 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11673-11673 | %每个 外骨骼 是 动物 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1438-1438 | %每个 Eyebrow 是 头 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | %每个 FingerBone 是 手 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2311-2311 | %每个 FleshOrPulp 是 水果或蔬菜 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1102-1102 | %每个 FoodBone 是 足 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10830-10830 | %每个 Forearm 是 臂 的 initially part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |