GolfHole
|
|
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 |
|