appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6542-6542 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2063-2063 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6541-6541 | Willow tree is a subclass of deciduous tree |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63093-63093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63092-63092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63091-63091 |