capabilityDuring |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 913-915 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 918-918 | The number 2 argument of capable during is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 919-919 | The number 3 argument of capable during is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 917-917 | The number 1 argument of capable during is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 920-920 | The number 4 argument of capable during is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 912-912 | capable during is an instance of quaternary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2946-2946 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2945-2945 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2944-2944 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 916-916 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 922-928 |
|
consequent |
![]() |
![]() |
![]() |