eventPartlyLocated |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2113-2114 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4099-4100 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 765-766 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4096-4096 | eventPartlyLocated 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4097-4097 | eventPartlyLocated 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4089-4089 | eventPartlyLocated 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4090-4090 | eventPartlyLocated 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4117-4117 | eventPartlyLocated 是 参与活动 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3330-3330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3329-3329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3328-3328 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4119-4119 | eventLocated 是 eventPartlyLocated 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11074-11074 | 路径 是 eventPartlyLocated 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1843-1843 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 477-483 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4102-4107 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4092-4094 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 115-123 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4113-4115 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4109-4111 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 178-186 |