Lichen
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6324-6325 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 125-125 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6322-6322 | Lichen e' uma sub-classe de Planta sem flores |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34307-34307 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34306-34306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34305-34305 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6327-6332 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6334-6339 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6735-6737 |
|