Hole |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6208-6208 | Laceration e' uma sub-classe de Hole |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2305-2305 |