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 |