result |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | 结果 和 工具 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1895-1896 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2554-2556 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 521-522 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2551-2551 | 结果 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2552-2552 | 结果 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2549-2549 | 结果 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2550-2550 | 结果 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2548-2548 | 结果 是 受事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | 资源 和 结果 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 257-257 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1940-1940 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 63-63 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 87-87 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 294-294 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 449-449 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49795-49795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49794-49794 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 73-73 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12466-12473 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18837-18843 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3040-3054 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12828-12832 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20415-20420 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 172-178 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 74-83 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 690-694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12547-12556 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1527-1533 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10840-10848 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3794-3798 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3692-3699 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 654-660 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16047-16052 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2687-2692 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26329-26340 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | 实体 是 共轭物质 的 instance 若且唯若 有存在 客体, 另一个 客体, and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | 整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20752-20758 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4195-4204 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 994-1003 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3199-3211 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8726-8736 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19379-19392 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 85-94 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 750-758 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1190-1205 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1012-1026 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6219-6228 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1607-1617 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5210-5222 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4384-4399 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16802-16810 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 32-44 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |