|
|
   Animal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3392-3393 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14448-14449 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | 动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14446-14446 | 动物 是 生物 的 subclass |
| appearance as argument number 2 |
|
|
| 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. | Mid-level-ontology.kif 11673-11673 | %每个 外骨骼 是 动物 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | %每个 头发 是 动物 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4407-4407 | Biped 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | 家畜 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14503-14503 | 无脊椎动物 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6794-6794 | 刺槐 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 脊椎动物 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 972-972 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1151-1151 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 649-649 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 180-180 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2333-2333 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 601-601 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 185-185 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 670-670 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 184-184 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24253-24253 | 出生地 的 1 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 204-204 | burialplace 的 1 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24297-24297 | 死亡场所 的 1 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6785-6785 | 被拘留者 的 2 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | 抓住 的 1 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15924-15924 | 穿戴 的 1 数量 是 动物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20354-20354 | 动物的肉 的 2 数量 是 动物 的 subclass |
| antecedent |
|
|
| 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. | Merge.kif 14979-14990 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11531-11538 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11675-11680 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11219-11229 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2708-2713 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5490-5500 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10505-10510 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11455 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11837-11844 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3531-3552 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6583-6585 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18128-18133 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18047-18057 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17631-17636 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance |
| 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 4945-4950 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12259-12268 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8862-8866 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21389-21393 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14603-14609 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11582-11586 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11576-11580 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24131-24137 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1420-1427 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 50-72 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7319-7333 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13455-13459 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15000-15005 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14816-14821 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2739-2747 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2409-2414 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4345-4354 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6031-6040 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 491-503 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1345-1353 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11371-11376 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15914-15921 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1744-1744 | Food for 动物 是 食品制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2180-2180 | 苹果 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2282-2282 | 鳄梨 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2371-2371 | 椰子 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2189-2189 | 日期水果 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21633-21633 | 蜜糖 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2328-2328 | 柠檬水果 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2342-2342 | 橙色水果 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | 豌豆 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | 梨果 是 food for 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | 酿酒葡萄 是 food for 动物 的 subclass |
|
|
|