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 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | 域 參與活動, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2413-2413 | 例 參與活動 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2412-2412 | 例 參與活動 and BinaryPredicate |
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 | 子關係 agent and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2446-2446 | 子關係 目的地 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16940-16940 | 子關係 方向 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4117-4117 | 子關係 eventPartlyLocated and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2460-2460 | 子關係 體驗者 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10987-10987 | 子關係 移動 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2484-2484 | 子關係 起源 and 參與活動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2497-2497 | 子關係 患者 and 參與活動 |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30223-30236 | 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 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 |