Coral
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5967-5978 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 367-367 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5965-5965 | Coral is a subclass of invertebrate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17316-17316 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17315-17315 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17314-17314 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5986-5991 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5949-5957 |
|