initialPart |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | %每個 Forehead 是 頭 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4576-4576 | %每個 GroundnutOil 是 花生 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | %每個 頭髮 是 Animal 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10816-10816 | %每個 HamstringMuscle 是 腿 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | %每個 HeadBone 是 頭 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1754-1754 | %每個 Jam 是 水果 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2596-2596 | %每個 Juice 是 FruitOrVegetable 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10775-10775 | %每個 LatissimusDorsi 是 軀幹 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1035-1035 | %每個 LegBone 是 腿 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | %每個 LowerLeg 是 腿 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4119-4119 | %每個 玉米粒 是 MaizeGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4145-4145 | %每個 小米粒 是 MilletGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2685-2685 | %每個 Mushroom 是 Fungus 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4124-4124 | %每個 燕麥粒 是 OatGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4563-4563 | %每個 橄欖油 是 橄欖 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | %每個 PalmBone 是 手 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10768-10768 | %每個 Pectoralis 是 Chest 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2297-2297 | %每個 PeelOrRind 是 FruitOrVegetable 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4480-4480 | %每個 PineNut 是 松樹 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11237-11237 | %每個 Rib 是 Chest 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1541-1541 | %每個 RiceFlour 是 米粒 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4115-4115 | %每個 米粒 是 水稻 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1535-1535 | %每個 RyeFlour 是 黑麥穀物 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4135-4135 | %每個 黑麥穀物 是 RyeGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12310-12310 | %每個 SalivaryGland 是 口 的 initially part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |