![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 960-961 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2959-2959 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | Golf hole is a subclass of hole |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26232-26232 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26231-26231 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26230-26230 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 964-973 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1016-1021 |
|
![]() |
![]() |