Pampa
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6680-6681 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6751-6751 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7492-7492 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6677-6677 | Pampa is a subclass of grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | Pampa is a subclass of plain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44186-44186 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44185-44185 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44184-44184 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6683-6685 |
|