involvedInEvent |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1863-1864 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2409-2410 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 486-487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2414-2414 | 参与活动 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | 参与活动 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2413-2413 | 参与活动 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2412-2412 | 参与活动 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1389-1389 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1388-1388 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1387-1387 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2435-2435 | 主事 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2446-2446 | 终点 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16940-16940 | 方向 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4117-4117 | eventPartlyLocated 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2460-2460 | 经历者 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10987-10987 | 移动 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2484-2484 | 源头 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2497-2497 | 受事 是 参与活动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30901-30901 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30900-30900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30899-30899 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 119-121 | 关系 是 参与活动 的 subrelation 若且唯若 那个 关系 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3517-3529 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9774-9795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7940-7947 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7949-7958 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30223-30236 | Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7949-7958 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18408-18415 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5876-5885 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9747-9755 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3537-3561 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13004-13013 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5894-5904 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2427-2429 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30207-30218 |