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 4118-4119 | |
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 4115-4115 | The number 1 argument of event partly located is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4116-4116 | The number 2 argument of event partly located is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4108-4108 | event partly located is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4109-4109 | event partly located is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4136-4136 | event partly located is a subrelation of involved in event |
appearance as argument number 2 |
![]() |
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. | domainEnglishFormat.kif 3327-3327 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3326-3326 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4138-4138 | event located is a subrelation of event partly located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11212-11212 | path is a subrelation of event partly located |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1843-1843 | path is a subrelation of event partly located |
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 4121-4126 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4111-4113 |
|
consequent |
![]() |
![]() |
![]() |