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 63095-63095 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63094-63094 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63093-63093 |