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 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23708 | 域子類 初始部分, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23696-23696 | 例 初始部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23697-23697 | 例 初始部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | 相關的內部概念 初始部分 and 部分 |
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 | %每個 動物解剖結構 是 Animal 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11529-11529 | %每個 動物殼 是 Animal 的 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 | %每個 Bone 是 Primate 的 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 | %每個 外骨骼 是 Animal 的 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 是 FruitOrVegetable 的 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 |