CoastalPlain
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5745-5747 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2555-2555 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2447-2447 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2556-2556 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | Coastal plain is a subclass of plain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15384-15384 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15383-15383 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15382-15382 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5749-5754 |
|