No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18190-18190 |
Embryonic e' &o oposto de Larval |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 4027-4028 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18191-18194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5984-5984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6465-6465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6466-6466 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18189-18189 |
Embryonic e' um sub-atributo de NonFullyFormed |