No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18190-18190 |
Embryonic is the opposite of 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 is a subattribute of non fully formed |