during |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2720-2721 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8220-8221 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8217-8217 | The number 1 argument of during is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8218-8218 | The number 2 argument of during is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8214-8214 | during is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8215-8215 | during is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8213-8213 | during is an instance of transitive relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 433-433 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 439-439 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 434-434 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20685-20685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20684-20684 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20683-20683 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |