resource |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | 资源 和 工具 是 disjoint 关系 |
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 1887-1891 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2517-2523 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 512-516 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | 资源 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2512-2512 | 资源 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | 资源 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2510-2510 | 资源 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | 资源 是 受事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 181-181 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 256-256 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1939-1939 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 62-62 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 229-229 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 129-129 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8798-8798 | 反应 是 资源 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49723-49723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49722-49722 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 72-72 |
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. | Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10276-10280 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10265-10269 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10252-10258 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 617-627 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 639-649 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11554-11558 | |
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. | Media.kif 690-700 | |
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. | Cars.kif 3155-3165 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3188-3196 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12514-12520 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5629-5635 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11810-11814 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8025-8030 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12563-12569 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12527-12533 |
consequent |
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. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3954-3964 | |
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. | Mid-level-ontology.kif 2546-2554 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2548-2562 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15152-15164 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5772-5778 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3936-3941 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1033-1039 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1026-1031 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1886-1894 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 607-615 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 629-637 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3638-3645 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1566-1573 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4757-4763 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4746-4748 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3030-3036 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19648-19655 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |